changeset 51661 | 92e58b76dbb1 |
parent 51423 | e5f9a6d9ca82 |
child 53190 | 5d92649a310e |
--- 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;