src/Pure/PIDE/protocol.ML

--- a/src/Pure/PIDE/protocol.ML	Wed Dec 12 23:36:07 2012 +0100
+++ b/src/Pure/PIDE/protocol.ML	Thu Dec 13 13:52:18 2012 +0100
@@ -77,8 +77,8 @@
 
 val _ =
   Isabelle_Process.protocol_command "Document.dialog_result"
-    (fn [name, result] =>
-      Active.dialog_result name result
+    (fn [serial, result] =>
+      Active.dialog_result (Markup.parse_int serial) result
         handle exn => if Exn.is_interrupt exn then () else reraise exn);
 
 val _ =