X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fruntime.ml;h=5657f20e03932c0293ca9d665f5552c9af5ef6e9;hb=95f1e34ef0a9dd4c700c15ae3d5a6054a198b0b1;hp=a02f7a8a8bf1cf37a8bd567fa12174a8f090360c;hpb=ae485b9f477ede8c98bef85cc01aec369d285f29;p=SXSI%2Fxpathcomp.git

diff --git a/src/runtime.ml b/src/runtime.ml
index a02f7a8..5657f20 100644
--- a/src/runtime.ml
+++ b/src/runtime.ml
@@ -95,7 +95,7 @@ module Make (U : ResJIT.S) : S with type result_set = U.NS.t =
 	  let orig_s1, orig_s2 =
 	    Translist.fold (fun t (a1, a2) ->
 			  let _, _, _, f = Transition.node t in
-			  let (_, _, fs1), (_, _, fs2) = Formula.st f in
+			  let fs1, fs2 = Formula.st f in
 			    (StateSet.union a1 fs1, StateSet.union a2 fs2)
 		       ) trl (StateSet.empty, StateSet.empty)
 	  in
@@ -422,7 +422,7 @@ let get_trans g auto tag states =
 	  then acc
 	      else
             let _, _, _, phi = Transition.node trs in
-                let (_,_,l), (_,_,r) = Formula.st phi in
+                let l, r = Formula.st phi in
                 (StateSet.union l lstates,
                  StateSet.union r rstates,
                  Translist.cons trs tacc)