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 13e186720e..f2eda3b5fc 100644 --- a/kernel/univ.ml +++ b/kernel/univ.ml @@ -1112,7 +1112,7 @@ let compare_neq strict g arcu arcv = in find [] arc.lt in - cmp NLE [] [] [] [arcu, Lazy.lazy_from_val []] + cmp NLE [] [] [] [(arcu,Lazy.lazy_from_val [])] type fast_order = FastEQ | FastLT | FastLE | FastNLE |