diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-08-21 00:24:08 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-08-21 00:24:08 -0700 |
| commit | 1ac82df441e621fce2f38d53b5d17c69650d7358 (patch) | |
| tree | a882d519a00f2d7cef05756598257867f7523e41 /Source/Core/Core.csproj | |
| parent | 61ca25219a71a22430b3f7a5071f8655cbf75cb1 (diff) | |
Dafny and Boogie: get rid of 'static' fields in parser
Diffstat (limited to 'Source/Core/Core.csproj')
| -rw-r--r-- | Source/Core/Core.csproj | 3 |
1 files changed, 3 insertions, 0 deletions
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.
|