diff options
author | Michael Schmidt <github@mschmidt.me> | 2016-07-01 14:40:30 +0200 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2016-07-01 14:40:30 +0200 |
commit | 2ef43e7647ccd65a2a8f1d9fdd067a18e52c39cb (patch) | |
tree | 37cb8cc1d433c76ac1677b1e716488863e6ec6ac | |
parent | 948f5c7899acd1ecd1a948bd54b695c6fa3afafb (diff) | |
download | compcert-2ef43e7647ccd65a2a8f1d9fdd067a18e52c39cb.tar.gz compcert-2ef43e7647ccd65a2a8f1d9fdd067a18e52c39cb.zip |
add 'runtime' token to lexer
-rw-r--r-- | backend/CMlexer.mll | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/backend/CMlexer.mll b/backend/CMlexer.mll index c82f5401..65f244b5 100644 --- a/backend/CMlexer.mll +++ b/backend/CMlexer.mll @@ -136,6 +136,7 @@ rule token = parse | "]" { RBRACKET } | "readonly" { READONLY } | "return" { RETURN } + | "runtime" { RUNTIME } | ")" { RPAREN } | ";" { SEMICOLON } | "/" { SLASH } |