From e2e52528b7232ff95c2bbecd73e35207fd38e121 Mon Sep 17 00:00:00 2001
From: rustanleino <unknown>
Date: Wed, 27 Oct 2010 01:06:32 +0000
Subject: Dafny:  Record source positions of start/end curly braces for
 declaration constructs. Dafny VS2010 extension:  link with Dafny and use it
 to parse and type check

---
 Source/Dafny/DafnyAst.cs | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'Source/Dafny/DafnyAst.cs')

diff --git a/Source/Dafny/DafnyAst.cs b/Source/Dafny/DafnyAst.cs
index 27f5e3a5..f83dd67a 100644
--- a/Source/Dafny/DafnyAst.cs
+++ b/Source/Dafny/DafnyAst.cs
@@ -505,6 +505,8 @@ namespace Microsoft.Dafny {
     }
 
     public IToken/*!*/ tok;
+    public IToken BodyStartTok = Token.NoToken;
+    public IToken BodyEndTok = Token.NoToken;
     public readonly string/*!*/ Name;
     public readonly Attributes Attributes;
 
-- 
cgit v1.2.3