diff options
Diffstat (limited to 'Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs')
-rw-r--r-- | Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs b/Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs index e35383b0..41923a98 100644 --- a/Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs +++ b/Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs @@ -24,7 +24,7 @@ namespace Demo "break", "label", "return", "parallel", "havoc", "print",
"returns", "requires", "ensures", "modifies", "reads", "decreases",
"bool", "nat", "int", "false", "true", "null",
- "function", "free",
+ "function", "predicate", "free",
"in", "forall", "exists",
"seq", "set", "multiset", "array", "array2", "array3",
"match", "case",
@@ -301,6 +301,7 @@ namespace Demo | "true"
| "null"
| "function"
+ | "predicate"
| "free"
| "in"
| "forall"
|