From 800eb6af3e6743a66168e7003e1081b108a78df0 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 19 May 2008 11:41:46 +0000
Subject: [PATCH] ...

---
 helm/software/components/ng_kernel/check.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/software/components/ng_kernel/check.ml b/helm/software/components/ng_kernel/check.ml
index 6c750c559..ab012367a 100644
--- a/helm/software/components/ng_kernel/check.ml
+++ b/helm/software/components/ng_kernel/check.ml
@@ -139,7 +139,7 @@ let _ =
   let _ = 
     let rec aux = function
       | a::(b::_ as tl) ->
-         NCicEnvironment.add_le_constraint true (mk_type a) (mk_type b);
+         NCicEnvironment.add_constraint true (mk_type a) (mk_type b);
          aux tl
       | _ -> ()
     in
-- 
2.39.2