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/Machine.mli | |
| parent | a40a2797d80d510bcd36bb72cf3eafba4cee1bd5 (diff) | |
| download | compcert-kvx-ec8d93afc8875dcf7dfeb982eab255f150a91074.tar.gz compcert-kvx-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/Machine.mli')
0 files changed, 0 insertions, 0 deletions