From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 7 Apr 2008 21:05:13 +0000 (+0000)
Subject: Debugging code fixed.
X-Git-Tag: make_still_working~5416
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ab0e2ddf6916855c6653fbbeb60907974b5c7fa3;p=helm.git

Debugging code fixed.
---

diff --git a/helm/software/components/ng_kernel/check.ml b/helm/software/components/ng_kernel/check.ml
index 4bcff60d4..918a4ddb3 100644
--- 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 ->