added profiling on/off

diff --git a/helm/software/components/ng_kernel/check.ml b/helm/software/components/ng_kernel/check.ml
index 4dd6fcbf40ad825e9465f0009ac3e7925ccdd4b0..e98010de9a079fbe5025c57a1dba153c536fb109 100644 (file)
--- a/helm/software/components/ng_kernel/check.ml
+++ b/helm/software/components/ng_kernel/check.ml
@@ -41,6 +41,7 @@ let _ =
       -> None) alluris 
   in
   prerr_endline "caching objects";
+  HExtlib.profiling_enabled := false;
   List.iter (fun uu ->
      indent := 0;
 (*     prerr_endline ("************* INIZIO **************** " ^ NUri.string_of_uri uu); *)
@@ -59,6 +60,7 @@ let _ =
     alluris;
   NCicEnvironment.invalidate ();
   Gc.compact ();
+  HExtlib.profiling_enabled := true;
   prerr_endline "typechecking, first with the new and then with the old kernel";
   let prima = Unix.gettimeofday () in
   List.iter