...

diff --git a/helm/software/components/ng_kernel/check.ml b/helm/software/components/ng_kernel/check.ml
index 6c750c55909f6b289627d5a33231807fe06ed915..ab012367ace8d4159b77175d7f92eb5feda5ac70 100644 (file)
--- 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