diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-01 14:56:21 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-02-01 14:56:21 +0100 |
commit | 34886d135cec62883e76ba25bda34b4623e4a696 (patch) | |
tree | 11f91b98317dbed13dabf2e1c02008eaca58dcdf /cfrontend/SimplExprspec.v | |
parent | 31f86965bf172fb32f9cca99a292ebdf6cea57b9 (diff) | |
download | compcert-34886d135cec62883e76ba25bda34b4623e4a696.tar.gz compcert-34886d135cec62883e76ba25bda34b4623e4a696.zip |
Change the syntax to gcc/clangs syntax.
This only means that there must be one identifier at the begining
and then a designator.
Bug 20765
Diffstat (limited to 'cfrontend/SimplExprspec.v')
0 files changed, 0 insertions, 0 deletions