diff options
author | 2015-07-31 17:10:52 -0700 | |
---|---|---|
committer | 2015-07-31 17:10:52 -0700 | |
commit | 0e19afae5ecfa6d8106fe5bda40f9656a29cc598 (patch) | |
tree | 6a53774f09757d160d0de90eeabdca4199250786 /Source/DafnyServer/DafnyServer.csproj | |
parent | d023b0e19f7bf886801a3a059511b8449d8ab223 (diff) | |
parent | 9cf3281f6b64c9824e9a47b2ef932b8b113ecbc8 (diff) |
Merge
Diffstat (limited to 'Source/DafnyServer/DafnyServer.csproj')
-rw-r--r-- | Source/DafnyServer/DafnyServer.csproj | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/Source/DafnyServer/DafnyServer.csproj b/Source/DafnyServer/DafnyServer.csproj index 0aac88b2..3da33f16 100644 --- a/Source/DafnyServer/DafnyServer.csproj +++ b/Source/DafnyServer/DafnyServer.csproj @@ -1,4 +1,4 @@ -<?xml version="1.0" encoding="utf-8"?>
+<?xml version="1.0" encoding="utf-8"?>
<Project ToolsVersion="4.0" DefaultTargets="Build" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
<Import Project="$(MSBuildExtensionsPath)\$(MSBuildToolsVersion)\Microsoft.Common.props" Condition="Exists('$(MSBuildExtensionsPath)\$(MSBuildToolsVersion)\Microsoft.Common.props')" />
<PropertyGroup>
@@ -55,6 +55,9 @@ <Reference Include="System.Xml" />
</ItemGroup>
<ItemGroup>
+ <Compile Include="DafnyHelper.cs" />
+ <Compile Include="Utilities.cs" />
+ <Compile Include="VerificationTask.cs" />
<Compile Include="Properties\AssemblyInfo.cs" />
<Compile Include="Server.cs" />
</ItemGroup>
@@ -72,4 +75,4 @@ <Target Name="AfterBuild">
</Target>
-->
-</Project>
+</Project>
\ No newline at end of file |