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 | f3c87e06dfa02a6c1300c5bef44d9d9218e1e2d5 (patch) | |
| tree | f279a912b266f2cba022b4e180494126f23e8802 /Util | |
| parent | c52a162200ed964b332433055d145ec9cb2eadc7 (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
;
|