X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_refiner%2FnCicRefiner.ml;h=757fceea2a4a5dd83e728fb88e069a7f28f54957;hb=18c4ae3e237f4f4c0e034359da79f62f141f20d2;hp=b84c23aae9db4cb27c8ad6d64cb5317d08c75207;hpb=1b1a51a03ebfc8b16df3731729f857377183425f;p=helm.git

diff --git a/helm/software/components/ng_refiner/nCicRefiner.ml b/helm/software/components/ng_refiner/nCicRefiner.ml
index b84c23aae..757fceea2 100644
--- a/helm/software/components/ng_refiner/nCicRefiner.ml
+++ b/helm/software/components/ng_refiner/nCicRefiner.ml
@@ -22,13 +22,14 @@ let indent = ref "";;
 let inside c = indent := !indent ^ String.make 1 c;;
 let outside () = indent := String.sub !indent 0 (String.length !indent -1);;
 
-
+let debug = ref false;;
 let pp s = 
-  prerr_endline (Printf.sprintf "%-20s" !indent ^ " " ^ Lazy.force s)
+  if !debug then
+    prerr_endline (Printf.sprintf "%-20s" !indent ^ " " ^ Lazy.force s)
+  else 
+    ()
 ;;  
 
-let pp _ = ();;
-
 let wrap_exc msg = function
   | NCicUnification.Uncertain _ -> Uncertain msg
   | NCicUnification.UnificationFailure _ -> RefineFailure msg