--- a/src/Pure/PIDE/protocol.ML Thu Mar 03 14:03:06 2016 +0100
+++ b/src/Pure/PIDE/protocol.ML Thu Mar 03 15:23:02 2016 +0100
@@ -120,7 +120,7 @@
Isabelle_Process.protocol_command "Document.dialog_result"
(fn [serial, result] =>
Active.dialog_result (Markup.parse_int serial) result
- handle exn => if Exn.is_interrupt exn then () (*sic!*) else reraise exn);
+ handle exn => if Exn.is_interrupt exn then () (*sic!*) else Exn.reraise exn);
val _ =
Isabelle_Process.protocol_command "ML_Heap.share_common_data"