graph generation phase fixed

[helm.git] / helm / software / components / ng_kernel / check.ml

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