Finaly clean up formula representation.

[SXSI/xpathcomp.git] / src / l2JIT.ml

diff --git a/src/l2JIT.ml b/src/l2JIT.ml
index ab8b570..b1fd4da 100644 (file)
--- 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)