changeset 56333 | 38f1422ef473 |
parent 56294 | 85911b8a6868 |
child 56436 | 30ccec1e82fb |
--- a/src/Pure/skip_proof.ML Sun Mar 30 21:24:59 2014 +0200 +++ b/src/Pure/skip_proof.ML Mon Mar 31 10:28:08 2014 +0200 @@ -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 ();