From b4108940eba8bc616161cd011b90f9286c5fee65 Mon Sep 17 00:00:00 2001
From: Rustan Leino <leino@microsoft.com>
Date: Thu, 4 Aug 2011 02:07:17 -0700
Subject: Dafny: for VS mode, let lexer allow "?"

---
 Util/VS2010/Dafny/DafnyLanguageService/Grammar.cs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Util')

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
           ;
-- 
cgit v1.2.3