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

diff --git a/src/ata.ml b/src/ata.ml
index 0ae811d..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