diff options
| author |  kyessenov <unknown> | 2010-09-02 23:09:36 +0000 |
|---|---|---|
| committer | kyessenov <unknown> | 2010-09-02 23:09:36 +0000 |
| commit | 992d0461d3ac7286a171fe729d57a29090ca5a10 (patch) | |
| tree | acb74c87ce7eebb1b2bfe6b069d0d8acf927ae89 /Util | |
| parent | 17a5089e0545b8d891114baeea42d7dedd48f975 (diff) | |
VS 2010: add "spec" as keyword in Chalice
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[] {
|