diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-07-26 19:02:46 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-07-26 19:02:46 -0700 |
| commit | b96ec627f9adcd601ae347d08a9013e63187d592 (patch) | |
| tree | b9079dae2524253698641997acc4f076fc2ef8c6 /Util/VS2010/Chalice | |
| parent | ee8d3aaea78450c72111c5736bbb3ff500139df9 (diff) | |
Chalice: added string type and string literals (but no other string operations)
Diffstat (limited to 'Util/VS2010/Chalice')
| -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 a6371d71..4ae603e8 100644 --- a/Util/VS2010/Chalice/ChaliceLanguageService/Grammar.cs +++ b/Util/VS2010/Chalice/ChaliceLanguageService/Grammar.cs @@ -22,7 +22,7 @@ namespace Demo "call", "if", "else", "while",
"invariant", "lockchange",
"returns", "requires", "ensures", "where",
- "int", "bool", "false", "true", "null", "waitlevel", "lockbottom",
+ "int", "bool", "false", "true", "null", "string", "waitlevel", "lockbottom",
"module", "external",
"predicate", "function", "free", "send", "receive",
"ite", "fold", "unfold", "unfolding", "in", "forall", "exists",
|