src/Pure/PIDE/document.ML
changeset 62505 9e2a65912111
parent 61077 06cca32aa519
child 62826 eb94e570c1a4
     1.1 --- a/src/Pure/PIDE/document.ML	Thu Mar 03 14:03:06 2016 +0100
     1.2 +++ b/src/Pure/PIDE/document.ML	Thu Mar 03 15:23:02 2016 +0100
     1.3 @@ -486,7 +486,7 @@
     1.4                            else NONE
     1.5                        | NONE => NONE)) node ()
     1.6                     else ())
     1.7 -                   handle exn => (Output.system_message (Runtime.exn_message exn); reraise exn);
     1.8 +                   handle exn => (Output.system_message (Runtime.exn_message exn); Exn.reraise exn);
     1.9                  val future =
    1.10                    (singleton o Future.forks)
    1.11                     {name = "theory:" ^ name,