diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-03-24 16:07:45 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-03-24 16:07:45 +0100 |
| commit | 2ebf8bfda476966209d681470ebe6301fb10db0a (patch) | |
| tree | 15bc824d8c92a5d089852a3a21648cba7af242eb /cparser/Parse.mli | |
| parent | 275d7f4091609ae30093a4a83a20a74997229f9c (diff) | |
| download | compcert-kvx-2ebf8bfda476966209d681470ebe6301fb10db0a.tar.gz compcert-kvx-2ebf8bfda476966209d681470ebe6301fb10db0a.zip | |
Added missing functions for printing the structs and unions. Still missing printing of packed structs.
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..ac8feb70 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 option * DwarfTypes.dw_entry option (* first arg: desired transformations second arg: source file name before preprocessing |