X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fata.ml;h=f0882d5232075c411e5e66fd85b46cb91f9282b3;hb=d8e8a2b5c08a980a440d9fc9f3ea27af7711b524;hp=da2f8ce2c765589f85b1b6f3cd533ed6e875a2b9;hpb=dabbda9e7f33734a3be4125f029b850ea39e2f19;p=SXSI%2Fxpathcomp.git

diff --git a/src/ata.ml b/src/ata.ml
index da2f8ce..f0882d5 100644
--- a/src/ata.ml
+++ b/src/ata.ml
@@ -183,7 +183,7 @@ let top_down_approx auto states tree =
 	    else TagSet.positive ts
 	  in
 	  let _, _, m, f = Transition.node tr in
-	  let (_, _, ls), (_, _, rs) = Formula.st f in
+	  let ls, rs = Formula.st f in
 	  if Ptset.Int.is_empty pos then acc_tr
 	  else
 	    (TagSet.inj_positive pos, (ls, rs, m))::acc_tr
@@ -252,3 +252,6 @@ let top_down_approx auto states tree =
 	(List.exists (fun (_,(_,_,b)) -> b) td_approx)
     in
     Cache.add cache states jump; jump
+
+
+