diff options
| author | Michael Schmidt <github@mschmidt.me> | 2020-08-04 10:50:37 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-04 10:50:37 +0200 |
| commit | b6a7b8ee4a5711911b66be6ea4dba3742601b03c (patch) | |
| tree | f40f457cdcb1b4061773978c903ce42df3c59b93 /cparser | |
| parent | 970c5aa11a629d81abc893e7f0428b53e556ab30 (diff) | |
| download | compcert-kvx-b6a7b8ee4a5711911b66be6ea4dba3742601b03c.tar.gz compcert-kvx-b6a7b8ee4a5711911b66be6ea4dba3742601b03c.zip | |
Add new static-assert token for deLexer utility; bug 29273
Diffstat (limited to 'cparser')
| -rw-r--r-- | cparser/deLexer.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cparser/deLexer.ml b/cparser/deLexer.ml index de0e9b6e..ee6976d4 100644 --- a/cparser/deLexer.ml +++ b/cparser/deLexer.ml @@ -116,6 +116,7 @@ let delex (symbol : string) : string = | "DOT" -> "." | "PRAGMA" -> "#pragma \n" | "BUILTIN_OFFSETOF" -> "__builtin_offsetof" + | "STATIC_ASSERT" -> "_Static_assert" | "EOF" -> "" (* this should be ok *) | _ -> raise Not_found (* this should not happen *) |