diff options
| author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2018-08-17 13:59:17 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-08-17 13:59:17 +0200 |
| commit | 11837beafc84f226878b4706a791e9c13301e01f (patch) | |
| tree | 62a1ac44f08ff0712d72566c3c6c257be515948f /cparser/Cutil.ml | |
| parent | 44c859e5ffd95498b6e0dc504a9fc54cef86aae8 (diff) | |
| download | compcert-kvx-11837beafc84f226878b4706a791e9c13301e01f.tar.gz compcert-kvx-11837beafc84f226878b4706a791e9c13301e01f.zip | |
Added a check for parameters without identifiers. (#128)
It is not allowed in C to have a parameter in a parameter list
without an identifier.
Bug 24283
Diffstat (limited to 'cparser/Cutil.ml')
0 files changed, 0 insertions, 0 deletions