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 /test/spass/approx.h | |
parent | 8b0724fdb1af4f89a603f7bde4b5b625c870e111 (diff) | |
download | compcert-37bc5d7c21278a0f5cab9a2f61bdacd7f5a4d4fb.tar.gz compcert-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 'test/spass/approx.h')
0 files changed, 0 insertions, 0 deletions