diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-07-21 19:20:48 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-07-21 19:20:48 +0200 |
| commit | b23f94bd3a81dd585901d203f8939f494495674f (patch) | |
| tree | 17f6b945d10948df4c4b1813d612a039397f685e /cparser | |
| parent | 2af7c98c3d8cbe466ef78145ed09d20bc70669a6 (diff) | |
| download | compcert-kvx-b23f94bd3a81dd585901d203f8939f494495674f.tar.gz compcert-kvx-b23f94bd3a81dd585901d203f8939f494495674f.zip | |
cparser/handcrafted.messages: missing blank line
Diffstat (limited to 'cparser')
| -rw-r--r-- | cparser/handcrafted.messages | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cparser/handcrafted.messages b/cparser/handcrafted.messages index 605e04dc..9b565b27 100644 --- a/cparser/handcrafted.messages +++ b/cparser/handcrafted.messages @@ -4700,6 +4700,7 @@ translation_unit_file: STATIC_ASSERT XOR_ASSIGN ## The known suffix of the stack is as follows: ## STATIC_ASSERT ## + Ill-formed _Static_assert. At this point, an opening parenthesis '(' is expected. |