Fix the build script.

[tatoo.git] / src / auto / formula.mli

diff --git a/src/auto/formula.mli b/src/auto/formula.mli
index 2421d51..d708c2d 100644 (file)
--- a/src/auto/formula.mli
+++ b/src/auto/formula.mli
@@ -14,7 +14,7 @@
 (***********************************************************************)
 
 (*
-  Time-stamp: <Last modified on 2013-03-09 11:13:06 CET by Kim Nguyen>
+  Time-stamp: <Last modified on 2013-03-09 11:16:45 CET by Kim Nguyen>
 *)
 
 module type ATOM =
@@ -84,4 +84,7 @@ sig
   val of_bool : bool -> t
   (** Convert an ocaml Boolean value to a formula *)
 
+  val fold : (t -> 'a -> 'a) -> t -> 'a -> 'a
+  (** [fold f phi acc] folds [f] over the formula structure *)
+
 end