Debugging code commented out.

diff --git a/matita/components/ng_tactics/nnAuto.ml b/matita/components/ng_tactics/nnAuto.ml
index 9ea4dc03df55518692f62dfdc7b7267f9fdba478..23ad46494dbc1f92b6b03a781174f00af168eb34 100644 (file)
--- a/matita/components/ng_tactics/nnAuto.ml
+++ b/matita/components/ng_tactics/nnAuto.ml
@@ -1722,7 +1722,7 @@ auto_main flags signature cache depth status: unit =
               let dty = NCic.Appl [NCic.Implicit (`Typeof depth); ty] in
               mk_cic_term ctx dty 
             in 
-            prerr_endline ("FAILURE : " ^ ppterm status gty);
+            (*prerr_endline ("FAILURE : " ^ ppterm status gty);*)
             add_to_th newfail failures closegty
           else failures in
         debug_print ~depth (lazy "no more candidates");