X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2Fcheck.ml;h=c9c0bd37b7973a65d1dee0cbc82fd44d8b967c1c;hb=fcdc755773839176c7206b579b6dd1ff665ed8f5;hp=b65057e37bd6b667e6aaa66eb6608e3c2df391b8;hpb=d50309307c1dc85341759a020d7052b4a1d025b3;p=helm.git

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 ->