From fcdc755773839176c7206b579b6dd1ff665ed8f5 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 18 Apr 2008 15:26:11 +0000
Subject: [PATCH] graph generation phase fixed

---
 helm/software/components/ng_kernel/check.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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