diff options
Diffstat (limited to 'Util')
| -rw-r--r-- | Util/VS2010/Chalice/ChaliceLanguageService/Grammar.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Util/VS2010/Chalice/ChaliceLanguageService/Grammar.cs b/Util/VS2010/Chalice/ChaliceLanguageService/Grammar.cs index 6bb276c2..a6371d71 100644 --- a/Util/VS2010/Chalice/ChaliceLanguageService/Grammar.cs +++ b/Util/VS2010/Chalice/ChaliceLanguageService/Grammar.cs @@ -28,7 +28,7 @@ namespace Demo "ite", "fold", "unfold", "unfolding", "in", "forall", "exists",
"seq", "nil", "result", "eval", "token",
"wait", "signal",
- "refines", "transforms", "replaces", "by"
+ "refines", "transforms", "replaces", "by", "spec"
};
string[] delimiters = new string[] {
|