X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fl2JIT.ml;fp=src%2Fl2JIT.ml;h=b1fd4daf16d70602c13a37b79ee3bcde4ffd771a;hb=95f1e34ef0a9dd4c700c15ae3d5a6054a198b0b1;hp=ab8b570090ecd599ebe1146c824a4cbba5dab835;hpb=ae485b9f477ede8c98bef85cc01aec369d285f29;p=SXSI%2Fxpathcomp.git

diff --git a/src/l2JIT.ml b/src/l2JIT.ml
index ab8b570..b1fd4da 100644
--- a/src/l2JIT.ml
+++ b/src/l2JIT.ml
@@ -118,7 +118,7 @@ let collect_trans tag ((a_t, a_s1, a_s2) as acc) (labels, tr) =
   if TagSet.mem tag labels
   then
     let _, _, _, f = Transition.node tr in
-    let (_, _, s1), (_, _, s2) = Formula.st f in
+    let  s1,  s2 = Formula.st f in
       (Translist.cons tr a_t,
        StateSet.union s1 a_s1,
        StateSet.union s2 a_s2)