src/Pure/PIDE/document.ML
changeset 38373 e8197eea3cd0
parent 38363 af7f41a8a0a8
child 38414 49f1f657adc2
--- a/src/Pure/PIDE/document.ML	Fri Aug 13 21:33:13 2010 +0200
+++ b/src/Pure/PIDE/document.ML	Sat Aug 14 11:52:24 2010 +0200
@@ -8,9 +8,9 @@
 signature DOCUMENT =
 sig
   type id = int
-  type exec_id = id
+  type version_id = id
   type command_id = id
-  type version_id = id
+  type exec_id = id
   val no_id: id
   val parse_id: string -> id
   val print_id: id -> string
@@ -23,9 +23,9 @@
 (* unique identifiers *)
 
 type id = int;
-type exec_id = id;
+type version_id = id;
 type command_id = id;
-type version_id = id;
+type exec_id = id;
 
 val no_id = 0;