diff options
| author |  Rustan Leino <unknown> | 2015-07-31 17:22:52 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2015-07-31 17:22:52 -0700 |
| commit | 3243c7ac086991a801f6bca711387d36fc601999 (patch) | |
| tree | 50da5a38241f2877fbffbba894d1c443abbe28ff | |
| parent | 0e19afae5ecfa6d8106fe5bda40f9656a29cc598 (diff) | |
Add path to DafnyPrelude.bpl from DafnyServer project
| -rw-r--r-- | Source/DafnyServer/DafnyServer.csproj | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Source/DafnyServer/DafnyServer.csproj b/Source/DafnyServer/DafnyServer.csproj index 3da33f16..a173f810 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>
@@ -63,7 +63,7 @@ </ItemGroup>
<ItemGroup>
<None Include="App.config" />
- <None Include="DafnyPrelude.bpl">
+ <None Include="..\..\Binaries\DafnyPrelude.bpl">
<CopyToOutputDirectory>PreserveNewest</CopyToOutputDirectory>
</None>
</ItemGroup>
@@ -75,4 +75,4 @@ <Target Name="AfterBuild">
</Target>
-->
-</Project>
\ No newline at end of file +</Project>
|