diff options
-rw-r--r-- | Source/DafnyExtension/DafnyExtension.csproj | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Source/DafnyExtension/DafnyExtension.csproj b/Source/DafnyExtension/DafnyExtension.csproj index 843c1528..7b4ec261 100644 --- a/Source/DafnyExtension/DafnyExtension.csproj +++ b/Source/DafnyExtension/DafnyExtension.csproj @@ -116,7 +116,6 @@ <Reference Include="Provers.SMTLib">
<HintPath>..\..\..\boogie\Binaries\Provers.SMTLib.dll</HintPath>
</Reference>
- <Reference Include="System.IO.Compression.FileSystem" />
<Reference Include="VCExpr">
<HintPath>..\..\..\boogie\Binaries\VCExpr.dll</HintPath>
</Reference>
|