X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fformula.ml;h=8369571bfa33172e4b7c53a3209af7eceb2824eb;hb=908fd26b0dd93060dec75d797b49b2c78e631da7;hp=c75748fb6ef9ebe56b13aa8438930d872ea27561;hpb=83c90cb5eeebfffa05d0383430eb80e7905b46a0;p=tatoo.git

diff --git a/src/formula.ml b/src/formula.ml
index c75748f..8369571 100644
--- a/src/formula.ml
+++ b/src/formula.ml
@@ -91,7 +91,7 @@ let rec infer_form ssq ssr f = match expr f with
   | Atom(dir, b, s) -> 
     let setq, setr = match dir with
       |`Left -> fst ssq, fst ssr
-      | `Right -> snd ssq, fst ssr in
+      | `Right -> snd ssq, snd ssr in
     (* WG: WE SUPPOSE THAT Q^r and Q^q are disjoint ! *)
     let mem =  StateSet.mem s setq || StateSet.mem s setr in
     if b then mem else not mem