diff options
author | wuestholz <unknown> | 2013-05-30 10:29:22 -0700 |
---|---|---|
committer | wuestholz <unknown> | 2013-05-30 10:29:22 -0700 |
commit | 14f2fa23dda9a78a84aa321bdfd17fd3da3a6944 (patch) | |
tree | f5bd1c54508d6e3baf12f9d7cc93f3ebd8e368db /Source/DafnyExtension/DafnyExtension.csproj | |
parent | 21b8e2bfdd32ed91e56df1c465269f6fd836349a (diff) |
Minor change to a project file
Diffstat (limited to 'Source/DafnyExtension/DafnyExtension.csproj')
-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 4b2fdb7e..df070e1c 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.
|