src/Pure/Thy/thy_info.ML

--- a/src/Pure/Thy/thy_info.ML	Tue Apr 09 15:40:34 2013 +0200
+++ b/src/Pure/Thy/thy_info.ML	Tue Apr 09 15:59:02 2013 +0200
@@ -265,7 +265,7 @@
   let
     val _ = kill_thy name;
     val _ = Output.urgent_message ("Loading theory " ^ quote name ^ required_by " " initiators);
-    val _ = Output.protocol_message (Markup.loading_theory name) "" handle Fail _ => ();
+    val _ = Output.try_protocol_message (Markup.loading_theory name) "";
 
     val {master = (thy_path, _), imports} = deps;
     val dir = Path.dir thy_path;