diff options
| author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2019-06-03 10:12:48 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-06-03 10:12:48 +0200 |
| commit | 37bc5d7c21278a0f5cab9a2f61bdacd7f5a4d4fb (patch) | |
| tree | 182faf24e22630404c8678aea605be08e1846626 /arm/SelectOpproof.v | |
| parent | 8b0724fdb1af4f89a603f7bde4b5b625c870e111 (diff) | |
| download | compcert-kvx-37bc5d7c21278a0f5cab9a2f61bdacd7f5a4d4fb.tar.gz compcert-kvx-37bc5d7c21278a0f5cab9a2f61bdacd7f5a4d4fb.zip | |
New additional check for void parameters. (#174)
There should only be one unnamed parameter of type void in the
parameter list.
Diffstat (limited to 'arm/SelectOpproof.v')
0 files changed, 0 insertions, 0 deletions