src/Pure/PIDE/command.ML
changeset 50911 ee7fe4230642
parent 50201 c26369c9eda6
child 50914 fe4714886d92
     1.1 --- a/src/Pure/PIDE/command.ML	Wed Jan 16 11:31:08 2013 +0100
     1.2 +++ b/src/Pure/PIDE/command.ML	Wed Jan 16 16:26:36 2013 +0100
     1.3 @@ -65,7 +65,7 @@
     1.4    (case Toplevel.transition int tr st of
     1.5      SOME (st', NONE) => ([], SOME st')
     1.6    | SOME (_, SOME (exn, _)) => (ML_Compiler.exn_messages exn, NONE)
     1.7 -  | NONE => ([(serial (), ML_Compiler.exn_message Runtime.TERMINATE)], NONE));
     1.8 +  | NONE => (ML_Compiler.exn_messages Runtime.TERMINATE, NONE));
     1.9  
    1.10  fun check_cmts tr cmts st =
    1.11    Toplevel.setmp_thread_position tr