X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_tactics%2FnnAuto.ml;h=72099fbd3ead131956f9ad0e1c142a389ef3c3c6;hb=6114cb246d344e93b0dfeae4d273dc4422633ecb;hp=0b3cd9361fadac7af05dbcfbc3d53f73f4bf2f4f;hpb=dab25d81b789fb8430ef76f2dd77970c2c410048;p=helm.git

diff --git a/matita/components/ng_tactics/nnAuto.ml b/matita/components/ng_tactics/nnAuto.ml
index 0b3cd9361..72099fbd3 100644
--- a/matita/components/ng_tactics/nnAuto.ml
+++ b/matita/components/ng_tactics/nnAuto.ml
@@ -14,7 +14,7 @@ open Printf
 let print ?(depth=0) s = 
   prerr_endline (String.make (2*depth) ' '^Lazy.force s) 
 let noprint ?(depth=0) _ = () 
-let debug_print = print
+let debug_print = noprint
 
 open Continuationals.Stack
 open NTacStatus