X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fformula.mli;h=12d13defa9216ca03c13511dc09770aa44852cd9;hb=7e27afe6fa006ad355237ccc0695c6493ea57929;hp=1dd05e2d7acba8239b5798600b0f5177bb099277;hpb=c0b6bf74a7df6f1c8951525cab015fda4c788a9d;p=SXSI%2Fxpathcomp.git

diff --git a/src/formula.mli b/src/formula.mli
index 1dd05e2..12d13de 100644
--- a/src/formula.mli
+++ b/src/formula.mli
@@ -11,10 +11,7 @@ val hash : t -> int
 val uid : t -> Uid.t
 val equal : t -> t -> bool
 val expr : t -> t expr
-val st :
-  t ->
-  (StateSet.t * StateSet.t * StateSet.t) *
-    (StateSet.t * StateSet.t * StateSet.t)
+val st : t -> StateSet.t * StateSet.t
 val compare : t -> t -> int
 val size : t -> int
 val print : Format.formatter -> t -> unit