src/Pure/PIDE/protocol.ML

--- a/src/Pure/PIDE/protocol.ML	Mon Sep 05 22:09:52 2016 +0200
+++ b/src/Pure/PIDE/protocol.ML	Mon Sep 05 23:11:00 2016 +0200
@@ -113,7 +113,7 @@
 val _ =
   Isabelle_Process.protocol_command "Document.dialog_result"
     (fn [serial, result] =>
-      Active.dialog_result (Markup.parse_int serial) result
+      Active.dialog_result (Value.parse_int serial) result
         handle exn => if Exn.is_interrupt exn then () (*sic!*) else Exn.reraise exn);
 
 val _ =