src/Pure/PIDE/protocol.ML

--- a/src/Pure/PIDE/protocol.ML	Mon Jul 29 16:52:04 2013 +0200
+++ b/src/Pure/PIDE/protocol.ML	Mon Jul 29 18:59:58 2013 +0200
@@ -75,7 +75,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 () else reraise exn);
+        handle exn => if Exn.is_interrupt exn then () (*sic!*) else reraise exn);
 
 end;