src/Pure/Isar/toplevel.ML
changeset 62505 9e2a65912111
parent 62239 6ee95b93fbed
child 62663 bea354f6ff21
     1.1 --- a/src/Pure/Isar/toplevel.ML	Thu Mar 03 14:03:06 2016 +0100
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Thu Mar 03 15:23:02 2016 +0100
     1.3 @@ -594,7 +594,7 @@
     1.4    (case transition int tr st of
     1.5      (st', NONE) => st'
     1.6    | (_, SOME (exn, info)) =>
     1.7 -      if Exn.is_interrupt exn then reraise exn
     1.8 +      if Exn.is_interrupt exn then Exn.reraise exn
     1.9        else raise Runtime.EXCURSION_FAIL (exn, info));
    1.10  
    1.11  val command = command_exception false;