X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fformula.mli;h=7ec7320847c73be7b3cf8950e33cdb24d7d88113;hp=9ecf30a3d1066b5c40db6cbe24df261a127e8466;hb=d4e704decf927be044d72a6fe4314aea3c8125a5;hpb=5cfe8f8725b83eadae6923a10929b5db9204049c

diff --git a/src/formula.mli b/src/formula.mli
index 9ecf30a..7ec7320 100644
--- a/src/formula.mli
+++ b/src/formula.mli
@@ -43,8 +43,8 @@ val equal : t -> t -> bool
 val expr : t -> t expr
 (** Equality over formulae *)
 
-val st : t -> StateSet.t * StateSet.t
-(** states occuring left and right, positively or negatively *)
+val st : t -> StateSet.t * StateSet.t * StateSet.t
+(** states occuring self, left and right, positively or negatively *)
 
 val compare : t -> t -> int
 (** Comparison of formulae *)