diff options
Diffstat (limited to 'checker/print.mli')
| -rw-r--r-- | checker/print.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/checker/print.mli b/checker/print.mli index 67562125f..da1362ca5 100644 --- a/checker/print.mli +++ b/checker/print.mli @@ -10,4 +10,4 @@ open Cic -val print_pure_constr : constr -> unit +val print_pure_constr : Format.formatter -> constr -> unit |