From ab0e2ddf6916855c6653fbbeb60907974b5c7fa3 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 7 Apr 2008 21:05:13 +0000 Subject: [PATCH] Debugging code fixed. --- helm/software/components/ng_kernel/check.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -> -- 2.39.2