diff options
Diffstat (limited to 'kernel/closure.ml')
| -rw-r--r-- | kernel/closure.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/closure.ml b/kernel/closure.ml index fd3ab525e2..a1a9b54f71 100644 --- a/kernel/closure.ml +++ b/kernel/closure.ml @@ -209,7 +209,7 @@ let unfold_red kn = type table_key = constant puniverses tableKey let eq_pconstant_key (c,u) (c',u') = - eq_constant_key c c' && Univ.Instance.eq u u' + eq_constant_key c c' && Univ.Instance.equal u u' module IdKeyHash = struct |