X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fformula.mli;h=bea2ff5f8ea434a0ebe633072d7cfa66dc8b66ba;hb=refs%2Ftags%2FCore%2BFS%2BSelf_tested;hp=7ec7320847c73be7b3cf8950e33cdb24d7d88113;hpb=d4e704decf927be044d72a6fe4314aea3c8125a5;p=tatoo.git

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