src/Pure/PIDE/isar_document.ML
changeset 44644 317e4962dd0f
parent 44612 990ac978854c
child 44660 90bab3febb6c
--- a/src/Pure/PIDE/isar_document.ML	Thu Sep 01 23:08:42 2011 +0200
+++ b/src/Pure/PIDE/isar_document.ML	Fri Sep 02 11:52:13 2011 +0200
@@ -9,7 +9,8 @@
 
 val _ =
   Isabelle_Process.add_command "Isar_Document.define_command"
-    (fn [id, text] => Document.change_state (Document.define_command (Document.parse_id id) text));
+    (fn [id, name, text] =>
+      Document.change_state (Document.define_command (Document.parse_id id) name text));
 
 val _ =
   Isabelle_Process.add_command "Isar_Document.cancel_execution"