diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2020-07-21 18:42:44 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2020-07-21 18:45:28 +0200 |
| commit | 2af7c98c3d8cbe466ef78145ed09d20bc70669a6 (patch) | |
| tree | 5e221ac1c68e41ec7de543efcfbd71448cc7fa0a /cparser/Checks.ml | |
| parent | a8ce85adbf2863e98e5c24e9cc6f82947d4b3a29 (diff) | |
| download | compcert-kvx-2af7c98c3d8cbe466ef78145ed09d20bc70669a6.tar.gz compcert-kvx-2af7c98c3d8cbe466ef78145ed09d20bc70669a6.zip | |
Updated handcrafted.messages.
Added error descriptions for the new syntax errors introduced by
'_Static_assert'.
Diffstat (limited to 'cparser/Checks.ml')
0 files changed, 0 insertions, 0 deletions