Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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))
isabelle