src/Pure/skip_proof.ML

--- a/src/Pure/skip_proof.ML	Wed Mar 26 14:15:34 2014 +0100
+++ b/src/Pure/skip_proof.ML	Wed Mar 26 14:41:52 2014 +0100
@@ -18,8 +18,9 @@
 (* report *)
 
 fun report ctxt =
-  Context_Position.if_visible ctxt Output.report
-    (Markup.markup Markup.bad "Skipped proof");
+  if Context_Position.is_visible ctxt then
+    Output.report (Markup.markup Markup.bad "Skipped proof")
+  else ();
 
 
 (* oracle setup *)