src/Pure/PIDE/document_id.ML

--- a/src/Pure/PIDE/document_id.ML	Fri Jul 12 11:07:02 2013 +0200
+++ b/src/Pure/PIDE/document_id.ML	Fri Jul 12 11:28:03 2013 +0200
@@ -12,6 +12,7 @@
   type version = generic
   type command = generic
   type exec = generic
+  type execution = generic
   val none: generic
   val make: unit -> generic
   val parse: string -> generic
@@ -25,6 +26,7 @@
 type version = generic;
 type command = generic;
 type exec = generic;
+type execution = generic;
 
 val none = 0;
 val make = Counter.make ();