diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-10-04 14:14:39 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-10-04 14:14:39 -0700 |
| commit | 4fc6dbf641b052c0c39ccdea387a6cc6b5c511fd (patch) | |
| tree | 911062ae79403d6cab5ca6711d996fb97c1d07ea /Source/DafnyExtension/DafnyExtension.csproj | |
| parent | 8911e5c95d4715c2e2626aef67f19793d6f43201 (diff) | |
Updates of various .sln and .*proj files
Diffstat (limited to 'Source/DafnyExtension/DafnyExtension.csproj')
| -rw-r--r-- | Source/DafnyExtension/DafnyExtension.csproj | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/DafnyExtension/DafnyExtension.csproj b/Source/DafnyExtension/DafnyExtension.csproj index 2580c396..d65c511b 100644 --- a/Source/DafnyExtension/DafnyExtension.csproj +++ b/Source/DafnyExtension/DafnyExtension.csproj @@ -178,8 +178,8 @@ </PostBuildEvent>
</PropertyGroup>
<PropertyGroup>
- <PreBuildEvent>copy ..\..\..\..\..\..\Binaries\DafnyPrelude.bpl $(ProjectDir)
-copy ..\..\..\..\..\..\Binaries\UnivBackPred2.smt2 $(ProjectDir)</PreBuildEvent>
+ <PreBuildEvent>copy ..\..\..\..\Binaries\DafnyPrelude.bpl $(ProjectDir)
+copy ..\..\..\..\..\boogie\Binaries\UnivBackPred2.smt2 $(ProjectDir)</PreBuildEvent>
</PropertyGroup>
<!-- 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.
|