.

[SXSI/xpathcomp.git] / ata.ml

diff --git a/ata.ml b/ata.ml
index 5288b78..1b310dc 100644 (file)
--- a/ata.ml
+++ b/ata.ml
@@ -445,6 +445,7 @@ let tags_of_state a q =
       val merge : merge_conf -> elt -> t -> t -> t 
       val mk_quick_tag_loop : (elt -> elt -> 'a*t array) -> 'a -> int -> Tree.t -> Tag.t -> (elt -> elt -> 'a*t array)
       val mk_quick_star_loop : (elt -> elt -> 'a*t array) -> 'a -> int -> Tree.t -> (elt -> elt -> 'a*t array)
+      
     end
 
     module Integer : ResultSet =
@@ -489,7 +490,7 @@ let tags_of_state a q =
       let mk_quick_star_loop _ sl ss tree = ();
        fun t ctx -> 
          (sl, Array.make ss (Tree.subtree_elements tree t))
-         
+               
     end
 
     module IdSet : ResultSet=