diff options
author | chrishaw <unknown> | 2015-03-11 16:43:04 -0700 |
---|---|---|
committer | chrishaw <unknown> | 2015-03-11 16:43:04 -0700 |
commit | 0af950664b011d95dc8d1bf84c193a151bbffac4 (patch) | |
tree | 0e8bf8668fdca4c06e830d7b4a9a812851abff75 /Source/DafnyExtension | |
parent | b7c29f98817a2efe26b8a120802250c5bc4f26e3 (diff) |
Remove unneeded reference from DafnyExtension.csproj (accidentally added by my previous checkin)
Diffstat (limited to 'Source/DafnyExtension')
-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>
|