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/Unblock.ml | |
parent | a8ce85adbf2863e98e5c24e9cc6f82947d4b3a29 (diff) | |
download | compcert-2af7c98c3d8cbe466ef78145ed09d20bc70669a6.tar.gz compcert-2af7c98c3d8cbe466ef78145ed09d20bc70669a6.zip |
Updated handcrafted.messages.
Added error descriptions for the new syntax errors introduced by
'_Static_assert'.
Diffstat (limited to 'cparser/Unblock.ml')
0 files changed, 0 insertions, 0 deletions