diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-31 14:08:17 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-31 14:08:17 +0100 |
| commit | 1fe7f0c7ec5e1a4425eb09939d0e8f6143f1f913 (patch) | |
| tree | 7b836be2205db162df62b602f097621f9d825f51 /cparser/Rename.ml | |
| parent | 06f987da5845d641106420e2de9e5bf6dba55f7b (diff) | |
| download | compcert-1fe7f0c7ec5e1a4425eb09939d0e8f6143f1f913.tar.gz compcert-1fe7f0c7ec5e1a4425eb09939d0e8f6143f1f913.zip | |
Remove superfluous check.
Gcc and clang do not raise an error for this, also it should work
for the last array element which can be without size.
Bug 20765
Diffstat (limited to 'cparser/Rename.ml')
0 files changed, 0 insertions, 0 deletions