diff options
Diffstat (limited to 'driver/pparse.mli')
| -rw-r--r-- | driver/pparse.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/pparse.mli b/driver/pparse.mli index 96c2594f1..0c70a1db4 100644 --- a/driver/pparse.mli +++ b/driver/pparse.mli @@ -19,4 +19,4 @@ exception Error val preprocess : string -> string val remove_preprocessed : string -> unit val remove_preprocessed_if_ast : string -> unit -val file : formatter -> string -> (Lexing.lexbuf -> 'a) -> string -> 'a +val file : string -> (Lexing.lexbuf -> 'a) -> string -> 'a |