diff options
Diffstat (limited to 'src/trace/smtCertif.mli')
-rw-r--r-- | src/trace/smtCertif.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/trace/smtCertif.mli b/src/trace/smtCertif.mli index 6a145bb..3f65930 100644 --- a/src/trace/smtCertif.mli +++ b/src/trace/smtCertif.mli @@ -239,4 +239,4 @@ and 'hform resolution = { } val used_clauses : 'a rule -> 'a clause list val to_string : 'a clause_kind -> string -val print_certif : ('a -> Format.formatter -> 'b -> 'c) -> 'a -> 'b clause -> string -> unit +val print_certif : ('a -> Format.formatter -> 'b -> unit) -> 'a -> 'b clause -> string -> unit |