X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=ata.ml;h=1b310dc8d3d90878fd89798961ea1a5aa570eae5;hb=a6a05531716a001b369e018c9d2c87ce532ef163;hp=5288b78d45911f33027576b203e24e2e3f3ee5e5;hpb=861944c24f8cad360fb9478cb0a15863cb52e803;p=SXSI%2Fxpathcomp.git

diff --git a/ata.ml b/ata.ml
index 5288b78..1b310dc 100644
--- 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=