diff options
Diffstat (limited to 'cparser/Parse.mli')
| -rw-r--r-- | cparser/Parse.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/Parse.mli b/cparser/Parse.mli index 58c3cfb9..433e2e73 100644 --- a/cparser/Parse.mli +++ b/cparser/Parse.mli @@ -15,7 +15,7 @@ (* Entry point for the library: parse, elaborate, and transform *) -val preprocessed_file: string -> string -> string -> C.program option +val preprocessed_file: string -> string -> string -> C.program (* first arg: desired transformations second arg: source file name before preprocessing |