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/Rename.mli | |
parent | 6885cf5c6cf05886a7dd09a3d4bfad079b628376 (diff) | |
download | compcert-50ed2827867238a98f2036f799d4d6f354a2581c.tar.gz compcert-50ed2827867238a98f2036f799d4d6f354a2581c.zip |
Added flag for the renaming of static functions.
Diffstat (limited to 'cparser/Rename.mli')
-rw-r--r-- | cparser/Rename.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/Rename.mli b/cparser/Rename.mli index 818a51bc..c4ef2228 100644 --- a/cparser/Rename.mli +++ b/cparser/Rename.mli @@ -13,4 +13,4 @@ (* *) (* *********************************************************************) -val program : C.program -> C.program +val program : C.program -> string -> C.program |