X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=ata.mli;fp=ata.mli;h=649a49610daee17e1f68874b8d005c7b5bff9213;hb=6a7025fee3c050eff58baa536a14d80baf5c1b87;hp=fe328adf18a4d7c1844abfbc8efe927681d74914;hpb=3445f7f08f15fe41e0d1bfaaabaacf60cdc10b61;p=SXSI%2Fxpathcomp.git

diff --git a/ata.mli b/ata.mli
index fe328ad..649a496 100644
--- a/ata.mli
+++ b/ata.mli
@@ -52,7 +52,7 @@ module Formula :
   end
 module Transition :
   sig
-    type node = State.t * bool * Formula.t * bool
+    type node = State.t * TagSet.t * bool * Formula.t * bool
     type data = node
     type t
     val make : data -> t