diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-02-01 15:49:23 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-02-01 15:49:23 +0100 |
commit | 47c82de6010935d11c3d64f6d06c2061c34dc091 (patch) | |
tree | 1922a9a57d4ff4cd7c135dded6cb9ddf33c1ce2a /arm/Op.v | |
parent | be2192f295290c72d56e01263bc354f6844229ec (diff) | |
download | compcert-47c82de6010935d11c3d64f6d06c2061c34dc091.tar.gz compcert-47c82de6010935d11c3d64f6d06c2061c34dc091.zip |
Use C99 syntax to print attributes over array types
Before, we were doing C90, there was no official syntax for such attributes, and we used ours. With C99 we can use "ty [ attributes N ]" to print "array with attributes of N elements of type ty".
Diffstat (limited to 'arm/Op.v')
0 files changed, 0 insertions, 0 deletions