X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=ata.ml;h=90458a31289d29d0f966c4196dfa927a7d53f55c;hb=9a1792faff5e38231a74f9e761a7ff94aae5e6d9;hp=eb4f39484897b0043845d0f3f08c532726bce9ab;hpb=9728f46b5f256250a4451c0a9bda30ce81be5b8b;p=SXSI%2Fxpathcomp.git

diff --git a/ata.ml b/ata.ml
index eb4f394..90458a3 100644
--- a/ata.ml
+++ b/ata.ml
@@ -382,7 +382,7 @@ let tags_of_state a q =
     module type ResultSet = 
     sig
       type t
-      type elt = [` Tree] Tree.node
+      type elt = [` Tree ] Tree.node
       val empty : t
       val cons : elt -> t -> t
       val concat : t -> t -> t