From 5db34109bbb72d290239dfdb571d321fe3f1c48c Mon Sep 17 00:00:00 2001
From: qadeer <unknown>
Date: Wed, 1 Dec 2010 05:43:17 +0000
Subject: Eliminated dependencies on SpecSharp and CCI from Boogie.sln and
 Dafny.sln

---
 Source/VCExpr/VCExpr.csproj | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'Source/VCExpr/VCExpr.csproj')

diff --git a/Source/VCExpr/VCExpr.csproj b/Source/VCExpr/VCExpr.csproj
index 382a6694..116112a0 100644
--- a/Source/VCExpr/VCExpr.csproj
+++ b/Source/VCExpr/VCExpr.csproj
@@ -100,10 +100,6 @@
   </PropertyGroup>
   <ItemGroup>
     <Reference Include="System" />
-    <Reference Include="System.Compiler.Runtime, Version=1.0.21126.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
-      <SpecificVersion>False</SpecificVersion>
-      <HintPath>..\..\Binaries\System.Compiler.Runtime.dll</HintPath>
-    </Reference>
     <Reference Include="System.Data" />
     <Reference Include="System.Xml" />
   </ItemGroup>
-- 
cgit v1.2.3