From f067dedce5a6b8386010aec45475ad42d24f1d5b Mon Sep 17 00:00:00 2001
From: kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Date: Sat, 6 Jun 2009 03:53:43 +0000
Subject: [PATCH] fixed compilation bug

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@430 3cdefd35-fc62-479d-8e8d-bae585ffb9ca
---
 ata.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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