From d89e1efccd0bc59142db53a4f808fb09d1e84bf5 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Thu, 14 Nov 2013 13:15:15 +0100
Subject: Compat with ocaml 3.12

Conflicts:
	kernel/univ.ml
---
 kernel/univ.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
 
-- 
cgit v1.2.3