fixed compilation bug

[SXSI/xpathcomp.git] / ata.ml

diff --git a/ata.ml b/ata.ml
index 3741b56..99f5c97 100644 (file)
--- a/ata.ml
+++ b/ata.ml
@@ -927,7 +927,7 @@ END
                                let s = StateSet.choose cf in
                                if (Algebra.is_rec a s fst) && (Algebra.is_rec a s snd)
                                && (Algebra.is_final_marking a s)
-                               then RS.mk_quick_subtree default llist 1 tree tag' 
+                               then RS.mk_quick_tag_loop default llist 1 tree tag' 
                                else default
                                else default                            
                             | _ ->