From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 19 May 2008 11:41:46 +0000 (+0000)
Subject: ...
X-Git-Tag: make_still_working~5148
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=800eb6af3e6743a66168e7003e1081b108a78df0;p=helm.git

...
---

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