From 417591df3ca93ce22fa8fe53077adbd74b5d8b76 Mon Sep 17 00:00:00 2001 From: Pascal Rigaux Date: Thu, 25 Sep 2008 13:02:50 +0000 Subject: - recognize "state" --- src/global_checks.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'src/global_checks.ml') 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) -- cgit v1.2.1