diff options
| author | Matthieu Sozeau | 2013-11-14 13:15:15 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-05-06 09:58:56 +0200 |
| commit | d89e1efccd0bc59142db53a4f808fb09d1e84bf5 (patch) | |
| tree | 696aabb96adadf525431331b6b259269f8070e94 | |
| parent | c1cd47d5dff18f12af063d2c8defbd985c97dec6 (diff) | |
Compat with ocaml 3.12
Conflicts:
kernel/univ.ml
| -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 |