diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-08-04 02:07:17 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-08-04 02:07:17 -0700 |
| commit | b4108940eba8bc616161cd011b90f9286c5fee65 (patch) | |
| tree | 35587b5bc15b698a49929e908b020ae24a0f943c /Util | |
| parent | d84a7067189e9f11448a97ff406d538e03e4a2e0 (diff) | |
Dafny: for VS mode, let lexer allow "?"
Diffstat (limited to 'Util')
| -rw-r--r-- | Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs b/Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs index 0cd95bbd..df0f22ee 100644 --- a/Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs +++ b/Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs @@ -352,6 +352,7 @@ namespace Demo | "==>"
| "<==>"
| "#"
+ | "?" // this is not an operator, but a possible character in identifiers
| n
| stringLiteral
;
|