diff options
Diffstat (limited to 'src/global_checks.ml')
| -rw-r--r-- | src/global_checks.ml | 1 |
1 files changed, 1 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) |