diff options
| author |  wuestholz <unknown> | 2013-05-30 10:24:32 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-05-30 10:24:32 -0700 |
| commit | 21b8e2bfdd32ed91e56df1c465269f6fd836349a (patch) | |
| tree | 456a3f7790f8fa5ffbc72895f139c1ecc2f8e42b /Source | |
| parent | cbfc06a4a10f7b45d872a8e24731273680d7cbbe (diff) | |
Minor change to a project file
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/DafnyExtension/DafnyExtension.csproj | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Source/DafnyExtension/DafnyExtension.csproj b/Source/DafnyExtension/DafnyExtension.csproj index faf48319..4b2fdb7e 100644 --- a/Source/DafnyExtension/DafnyExtension.csproj +++ b/Source/DafnyExtension/DafnyExtension.csproj @@ -218,9 +218,9 @@ </PostBuildEvent>
</PropertyGroup>
<PropertyGroup>
- <PreBuildEvent>copy /y $(SolutionDir)\..\..\boogie\Binaries\UnivBackPred2.smt2 $(ProjectDir)
-copy /y $(SolutionDir)\..\Binaries\DafnyPrelude.bpl $(ProjectDir)
-copy /y $(SolutionDir)\..\Binaries\DafnyRuntime.cs $(ProjectDir)</PreBuildEvent>
+ <PreBuildEvent>copy /y $(SolutionDir)..\..\boogie\Binaries\UnivBackPred2.smt2 $(ProjectDir)
+copy /y $(SolutionDir)..\Binaries\DafnyPrelude.bpl $(ProjectDir)
+copy /y $(SolutionDir)..\Binaries\DafnyRuntime.cs $(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.
|