diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-07-15 18:53:39 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-07-15 20:12:12 +0200 |
commit | 7fb3cf8821f0fbb89cab74425c6c84f85e913b08 (patch) | |
tree | 63bdc81bfb830adb30595e8508e51627f852dae2 /cparser/validator/Interpreter.v | |
parent | 03bb30293f9ea5ad6c31557bf2d8d3908b956397 (diff) | |
download | compcert-7fb3cf8821f0fbb89cab74425c6c84f85e913b08.tar.gz compcert-7fb3cf8821f0fbb89cab74425c6c84f85e913b08.zip |
Remove non digit and non letter chars from filename used in renaming of static variables to avoid problems with files such as "a b.c".
Diffstat (limited to 'cparser/validator/Interpreter.v')
0 files changed, 0 insertions, 0 deletions