src/Provers/blast.ML
changeset 46715 6236ca7b32a7
parent 43349 46b4f57fb034
child 53536 69c943125fd3
--- a/src/Provers/blast.ML	Mon Feb 27 17:40:59 2012 +0100
+++ b/src/Provers/blast.ML	Mon Feb 27 19:53:34 2012 +0100
@@ -1251,7 +1251,7 @@
               NONE => (writeln ("PROOF FAILED for depth " ^
                                 string_of_int lim);
                        backtrack trace choices)
-            | cell => (if (trace orelse stats)
+            | cell => (if trace orelse stats
                        then writeln (Timing.message (Timing.result start) ^ " for reconstruction")
                        else ();
                        Seq.make(fn()=> cell))