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 /backend/ValueDomain.v | |
| parent | 03bb30293f9ea5ad6c31557bf2d8d3908b956397 (diff) | |
| download | compcert-kvx-7fb3cf8821f0fbb89cab74425c6c84f85e913b08.tar.gz compcert-kvx-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 'backend/ValueDomain.v')
0 files changed, 0 insertions, 0 deletions