X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Frun.ml;h=5d6580ab7b93abce211a49a0ea9a3bf25ca68610;hp=fff387a692ebbe36b8ea614f1cd7d9efce35a65f;hb=d4e704decf927be044d72a6fe4314aea3c8125a5;hpb=5cfe8f8725b83eadae6923a10929b5db9204049c

diff --git a/src/run.ml b/src/run.ml
index fff387a..5d6580a 100644
--- a/src/run.ml
+++ b/src/run.ml
@@ -165,7 +165,7 @@ let rec tp_max asta run tree tnode =
       (* compute states occuring in transition candidates *)
       let rec add_st (ql,qr) = function
         | [] -> ql,qr
-        | f :: tl -> let sql,sqr = Formula.st f in
+        | f :: tl -> let sqs,sql,sqr = Formula.st f in
                      let ql' = StateSet.union sql ql
                      and qr' = StateSet.union sqr qr in
                      add_st (ql',qr') tl in