Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
CertiCompil
CompCert-IntrinSec
Commits
b6a7b8ee
Unverified
Commit
b6a7b8ee
authored
Aug 04, 2020
by
Michael Schmidt
Committed by
GitHub
Aug 04, 2020
Browse files
Add new static-assert token for deLexer utility; bug 29273
parent
970c5aa1
Changes
1
Hide whitespace changes
Inline
Side-by-side
cparser/deLexer.ml
View file @
b6a7b8ee
...
...
@@ -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 *)
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment