diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/global_checks.ml | 1 | ||||
| -rw-r--r-- | src/lexer.mll | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/src/global_checks.ml b/src/global_checks.ml index 8425ee3..800bb54 100644 --- a/src/global_checks.ml +++ b/src/global_checks.ml @@ -245,6 +245,7 @@ let declare_Our vars (ours, pos) = let declare_My_our vars (my_or_our, l, pos) = match my_or_our with + | "state" | "my" -> declare_My vars (l, pos) | "local" | "our" -> declare_Our vars (l, pos) diff --git a/src/lexer.mll b/src/lexer.mll index b25e08c..42f0ddb 100644 --- a/src/lexer.mll +++ b/src/lexer.mll @@ -530,6 +530,7 @@ rule token = parse | "for" { FOR(lexeme lexbuf, pos lexbuf) } | "my" { MY_OUR(lexeme lexbuf, pos lexbuf) } | "our" { MY_OUR(lexeme lexbuf, pos lexbuf) } +| "state" { MY_OUR(lexeme lexbuf, pos lexbuf) } | "local" { LOCAL(pos lexbuf) } | "continue" { CONTINUE(pos lexbuf) } | "sub" { SUB(pos lexbuf) } |