diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-08-20 10:17:57 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-08-20 10:17:57 +0200 |
commit | ec8d93afc8875dcf7dfeb982eab255f150a91074 (patch) | |
tree | 80f1f2b22b2f9904346dc6b8ece81cce51289792 /cparser/Transform.mli | |
parent | a40a2797d80d510bcd36bb72cf3eafba4cee1bd5 (diff) | |
download | compcert-ec8d93afc8875dcf7dfeb982eab255f150a91074.tar.gz compcert-ec8d93afc8875dcf7dfeb982eab255f150a91074.zip |
Turn error into fatal error for unnamed parameter.
Since the parameter name gets used in other error messages it
results in messages without names.
Bug 24283
Diffstat (limited to 'cparser/Transform.mli')
0 files changed, 0 insertions, 0 deletions