diff options
| -rw-r--r-- | NEWS | 2 | ||||
| -rw-r--r-- | src/global_checks.ml | 1 | ||||
| -rw-r--r-- | src/lexer.mll | 1 | 
3 files changed, 4 insertions, 0 deletions
@@ -1,3 +1,5 @@ +- recognize "state" +  Version 1.2.9 - 17 September 2008, by Thierry Vignaud  - fake_packages: 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) }  | 
