Final test in run_test try my.query on my.xml (from thesis) + fixs in run.ml ==>...

[tatoo.git] / src / formula.ml

diff --git a/src/formula.ml b/src/formula.ml
index c75748f..8369571 100644 (file)
--- 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