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/Pure/PIDE/command.ML
changeset 56887 1ca814da47ae
parent 56875 f6259d6fb565
child 56895 f058120aaad4 
--- a/src/Pure/PIDE/command.ML	Tue May 06 22:55:44 2014 +0200
+++ b/src/Pure/PIDE/command.ML	Tue May 06 23:08:18 2014 +0200
@@ -384,7 +384,7 @@
             val do_print =
               not is_init andalso
                 (Toplevel.print_of tr orelse (is_proof andalso Toplevel.is_proof st'));
-          in if do_print then Toplevel.print_state false st' else () end});
+          in if do_print then Toplevel.print_state st' else () end});
 
 
 (* combined execution *)
isabelle