X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=ata.ml;fp=ata.ml;h=99f5c976a679b239387a3a029772a501be243394;hb=f067dedce5a6b8386010aec45475ad42d24f1d5b;hp=3741b569f134acf7a0f7284d292157a3de9a73b0;hpb=be1caa5c46009c13241cc48ed34a36ee2936ef87;p=SXSI%2Fxpathcomp.git

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