diff options
| author |  wuestholz <unknown> | 2013-05-21 17:41:31 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-05-21 17:41:31 -0700 |
| commit | ce5332305ddebb41e6235bcf1c5a501c7b93ddd8 (patch) | |
| tree | 7b05a74815ad04599d55b436b2639100a8a43121 /Source | |
| parent | ee9462ab6c829ef9d81726d1209f84429ed2d879 (diff) | |
Minor change to a project file
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/DafnyDriver/DafnyDriver.csproj | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Source/DafnyDriver/DafnyDriver.csproj b/Source/DafnyDriver/DafnyDriver.csproj index 3e32f963..61ca8593 100644 --- a/Source/DafnyDriver/DafnyDriver.csproj +++ b/Source/DafnyDriver/DafnyDriver.csproj @@ -127,10 +127,6 @@ <Reference Include="AbsInt">
<HintPath>..\..\..\boogie\Binaries\AbsInt.dll</HintPath>
</Reference>
- <Reference Include="BVD, Version=2.2.30705.1126, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
- <SpecificVersion>False</SpecificVersion>
- <HintPath>..\..\..\boogie\Binaries\BVD.exe</HintPath>
- </Reference>
<Reference Include="Core">
<HintPath>..\..\..\boogie\Binaries\Core.dll</HintPath>
</Reference>
|