Make the time function re-entrant.

[SXSI/xpathcomp.git] / src / formula.mli

diff --git a/src/formula.mli b/src/formula.mli
index 1dd05e2..12d13de 100644 (file)
--- 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