--- a/src/Pure/Tools/build.ML Sat Jan 12 14:56:57 2013 +0100
+++ b/src/Pure/Tools/build.ML Sat Jan 12 15:00:48 2013 +0100
@@ -22,7 +22,10 @@
fun protocol_message props output =
(case ML_statistics props output of
SOME stats => writeln ("\fML_statistics = " ^ ML_Syntax.print_properties stats)
- | NONE => raise Fail "Undefined Output.protocol_message");
+ | NONE =>
+ (case Markup.dest_loading_theory props of
+ SOME name => writeln ("\floading_theory = " ^ name)
+ | NONE => raise Fail "Undefined Output.protocol_message"));
(* build *)