diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-05-13 18:56:53 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-05-13 18:56:53 +0200 |
| commit | ad613e10f78bfe11e2df2ec055bcd02406456476 (patch) | |
| tree | adb0df12de5b9054ede0306937fb4668df01ae9b /backend/PrintAsm.ml | |
| parent | ced4ff38f1309f05c9b750bde241bf87b83745fa (diff) | |
| download | compcert-kvx-ad613e10f78bfe11e2df2ec055bcd02406456476.tar.gz compcert-kvx-ad613e10f78bfe11e2df2ec055bcd02406456476.zip | |
Changed the enter_or_refine_ident function to produce an error if a non-static declaration is followed by a static declaration/definition.
Diffstat (limited to 'backend/PrintAsm.ml')
0 files changed, 0 insertions, 0 deletions