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 /cfrontend/Csyntax.v | |
| parent | 6885cf5c6cf05886a7dd09a3d4bfad079b628376 (diff) | |
| download | compcert-50ed2827867238a98f2036f799d4d6f354a2581c.tar.gz compcert-50ed2827867238a98f2036f799d4d6f354a2581c.zip | |
Added flag for the renaming of static functions.
Diffstat (limited to 'cfrontend/Csyntax.v')
0 files changed, 0 insertions, 0 deletions