diff options
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>
|