diff options
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/univ.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/univ.ml b/kernel/univ.ml index 2fd94e1a94..86aebbce93 100644 --- a/kernel/univ.ml +++ b/kernel/univ.ml @@ -265,7 +265,7 @@ struct | Set, Set -> true | Level (n,d), Level (n',d') -> Int.equal n n' && DirPath.equal d d' - | Var n, Var n' -> true + | Var n, Var n' -> Int.equal n n' | _ -> false let compare u v = |