From a4853a9af9f11750976a6bdd5eecaab51ed928f6 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Sun, 27 Mar 2011 13:07:45 +0000 Subject: [PATCH] Debugging code commented out. --- matita/components/ng_tactics/nnAuto.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/matita/components/ng_tactics/nnAuto.ml b/matita/components/ng_tactics/nnAuto.ml index 020b819c9..7d57a9785 100644 --- a/matita/components/ng_tactics/nnAuto.ml +++ b/matita/components/ng_tactics/nnAuto.ml @@ -1710,7 +1710,7 @@ let auto_tac ~params:(univ,flags) ?(trace_ref=ref []) status = app_counter:= 0; let rec up_to x y = if x > y then - (print(lazy + (debug_print(lazy ("TIME ELAPSED:"^string_of_float(Unix.gettimeofday()-.initial_time))); debug_print(lazy ("Applicative nodes:"^string_of_int !app_counter)); -- 2.39.2