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/skip_proof.ML
changeset 64677 8dc24130e8fe
parent 64556 851ae0e7b09c
child 70561 0c1b08d0b1fe 
--- a/src/Pure/skip_proof.ML	Tue Dec 27 17:33:57 2016 +0100
+++ b/src/Pure/skip_proof.ML	Wed Dec 28 10:39:50 2016 +0100
@@ -19,7 +19,7 @@
 
 fun report ctxt =
   if Context_Position.is_visible ctxt then
-    Output.report [Markup.markup Markup.bad "Skipped proof"]
+    Output.report [Markup.markup (Markup.bad ()) "Skipped proof"]
   else ();
isabelle