fixed compilation bug

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@430 3cdefd35-fc62-479d-8e8d-bae585ffb9ca

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                            
                             | _ ->