From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 18 Apr 2008 15:26:11 +0000 (+0000)
Subject: graph generation phase fixed
X-Git-Tag: make_still_working~5324
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=fcdc755773839176c7206b579b6dd1ff665ed8f5;p=helm.git

graph generation phase fixed
---

diff --git a/helm/software/components/ng_kernel/check.ml b/helm/software/components/ng_kernel/check.ml
index b65057e37..c9c0bd37b 100644
--- a/helm/software/components/ng_kernel/check.ml
+++ b/helm/software/components/ng_kernel/check.ml
@@ -68,7 +68,7 @@ let _ =
           with 
           | CicTypeChecker.AssertFailure s
           | CicTypeChecker.TypeCheckerFailure s -> prerr_endline (Lazy.force s)
-    ) alluris;
+    ) roots_alluris;
   prerr_endline "loading...";
   List.iter 
     (fun u ->