From 1ac82df441e621fce2f38d53b5d17c69650d7358 Mon Sep 17 00:00:00 2001
From: Rustan Leino <leino@microsoft.com>
Date: Tue, 21 Aug 2012 00:24:08 -0700
Subject: Dafny and Boogie: get rid of 'static' fields in parser

---
 Source/Core/Core.csproj | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Source/Core/Core.csproj')

diff --git a/Source/Core/Core.csproj b/Source/Core/Core.csproj
index cff4f7f2..9a24b6b2 100644
--- a/Source/Core/Core.csproj
+++ b/Source/Core/Core.csproj
@@ -213,6 +213,9 @@
       <Install>true</Install>
     </BootstrapperPackage>
   </ItemGroup>
+  <ItemGroup>
+    <None Include="BoogiePL.atg" />
+  </ItemGroup>
   <Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />
   <!-- To modify your build process, add your task inside one of the targets below and uncomment it. 
        Other similar extension points exist, see Microsoft.Common.targets.
-- 
cgit v1.2.3