Debugging code fixed.

diff --git a/helm/software/components/ng_kernel/check.ml b/helm/software/components/ng_kernel/check.ml
index 4bcff60d4e7aefb6cce2fd6cb42868e4763b13ca..918a4ddb3590d7ce33df4ebb7025d4b621606350 100644 (file)
--- a/helm/software/components/ng_kernel/check.ml
+++ b/helm/software/components/ng_kernel/check.ml
@@ -35,11 +35,11 @@ let _ =
   in
   prerr_endline "caching objects";
   List.iter (fun uu ->
-(*     prerr_endline ("************* INIZIO **************** " ^ uu); *)
+(*     prerr_endline ("************* INIZIO **************** " ^ NUri.string_of_uri uu); *)
     let _,o = NCicEnvironment.get_obj uu in
     try 
       NCicTypeChecker.typecheck_obj o;
-(*       prerr_endline ("************* FINE ****************" ^ uu); *)
+(*       prerr_endline ("************* FINE ****************" ^ NUri.string_of_uri uu); *)
     with 
     | NCicTypeChecker.AssertFailure s 
     | NCicTypeChecker.TypeCheckerFailure s as e ->