src/Pure/Isar/toplevel.ML
changeset 65948 de7888573ed7
parent 65059 05f1b5342298
child 66170 8cfa8c7ee1f6
     1.1 --- a/src/Pure/Isar/toplevel.ML	Sat May 27 13:07:27 2017 +0200
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Sat May 27 13:20:35 2017 +0200
     1.3 @@ -593,7 +593,7 @@
     1.4  fun command_errors int tr st =
     1.5    (case transition int tr st of
     1.6      (st', NONE) => ([], SOME st')
     1.7 -  | (_, SOME (exn, _)) => (Runtime.exn_messages_ids exn, NONE));
     1.8 +  | (_, SOME (exn, _)) => (Runtime.exn_messages exn, NONE));
     1.9  
    1.10  fun command_exception int tr st =
    1.11    (case transition int tr st of