diff options
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/univ.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/kernel/univ.ml b/kernel/univ.ml index b734877a5b..9d38c78f55 100644 --- a/kernel/univ.ml +++ b/kernel/univ.ml @@ -458,7 +458,8 @@ module Huniv = match u, v with | Variable u, Variable v -> u == v | Max (gel,gtl), Max (gel',gtl') -> - (List.for_all2 (==) gel gel') && (List.for_all2 (==) gtl gtl') + (list_for_all2eq (==) gel gel') && + (list_for_all2eq (==) gtl gtl') | _ -> false let hash = Hashtbl.hash end) |