From: kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Date: Sat, 6 Jun 2009 03:53:43 +0000 (+0000)
Subject: fixed compilation bug
X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;h=f067dedce5a6b8386010aec45475ad42d24f1d5b;p=SXSI%2Fxpathcomp.git

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