Commentaries

[tatoo.git] / src / formula.mli

diff --git a/src/formula.mli b/src/formula.mli
index 6c54386..69bdb78 100644 (file)
--- a/src/formula.mli
+++ b/src/formula.mli
@@ -53,7 +53,7 @@ val size : t -> int
 (** Syntactic size of the formula *)
 
 val eval_form : (StateSet.t * StateSet.t) -> t -> bool
-(** [eval_form sf,sn F] evaluates the formula [F] on [(sf,sn)] *)
+(** [eval_form (sf,sn) F] evaluates the formula [F] on [(sf,sn)] *)
 
 val infer_form : (StateSet.t * StateSet.t) -> (StateSet.t * StateSet.t) -> t -> bool
 (** [eval_form S1 S2 F] infers S1; S2 |- F *)