diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-05-19 18:07:08 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-05-19 18:07:08 +0200 |
commit | 50ed2827867238a98f2036f799d4d6f354a2581c (patch) | |
tree | 5efa4083cd9de0faa04430d48f56c9e186a8e5e7 /cparser/Parse.ml | |
parent | 6885cf5c6cf05886a7dd09a3d4bfad079b628376 (diff) | |
download | compcert-kvx-50ed2827867238a98f2036f799d4d6f354a2581c.tar.gz compcert-kvx-50ed2827867238a98f2036f799d4d6f354a2581c.zip |
Added flag for the renaming of static functions.
Diffstat (limited to 'cparser/Parse.ml')
-rw-r--r-- | cparser/Parse.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/Parse.ml b/cparser/Parse.ml index 317847a7..c9564c08 100644 --- a/cparser/Parse.ml +++ b/cparser/Parse.ml @@ -29,7 +29,7 @@ let transform_program t p name = Some (CtoDwarf.program_to_dwarf p p1 name) else None in - (Rename.program p1),debug + (Rename.program p1 (Filename.chop_suffix name ".c")),debug let parse_transformations s = let t = ref CharSet.empty in |