diff options
Diffstat (limited to 'driver/compile.mli')
| -rw-r--r-- | driver/compile.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/driver/compile.mli b/driver/compile.mli index 2271d103e..507d61bbd 100644 --- a/driver/compile.mli +++ b/driver/compile.mli @@ -16,8 +16,8 @@ open Format -val interface: formatter -> string -> unit -val implementation: formatter -> string -> unit +val interface: formatter -> string -> string -> unit +val implementation: formatter -> string -> string -> unit val c_file: string -> unit val initial_env: unit -> Env.t |