src/Pure/PIDE/command.ML

--- a/src/Pure/PIDE/command.ML	Wed Jan 16 11:31:08 2013 +0100
+++ b/src/Pure/PIDE/command.ML	Wed Jan 16 16:26:36 2013 +0100
@@ -65,7 +65,7 @@
   (case Toplevel.transition int tr st of
     SOME (st', NONE) => ([], SOME st')
   | SOME (_, SOME (exn, _)) => (ML_Compiler.exn_messages exn, NONE)
-  | NONE => ([(serial (), ML_Compiler.exn_message Runtime.TERMINATE)], NONE));
+  | NONE => (ML_Compiler.exn_messages Runtime.TERMINATE, NONE));
 
 fun check_cmts tr cmts st =
   Toplevel.setmp_thread_position tr