diff -r bec8674aa6ec -r eab556c6037d src/Pure/Tools/build.ML
--- a/src/Pure/Tools/build.ML	Sat Mar 18 14:16:13 2017 +0100
+++ b/src/Pure/Tools/build.ML	Sat Mar 18 14:30:03 2017 +0100
@@ -201,6 +201,6 @@
           (Par_Exn.release_all [res1, res2]; "") handle exn =>
             (Runtime.exn_message exn handle _ (*sic!*) =>
               "Exception raised, but failed to print details!");
-    in Output.protocol_message (Markup.build_theories_result id) [result] end);
+    in Output.protocol_message (Markup.build_theories_result id) [result] end | _ => raise Match);
 
 end;