diff options
| -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
;
|