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/AbsInt/AbsInt.csproj | 8 --------
 1 file changed, 8 deletions(-)

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

diff --git a/Source/AbsInt/AbsInt.csproj b/Source/AbsInt/AbsInt.csproj
index 4054951f..433195a6 100644
--- a/Source/AbsInt/AbsInt.csproj
+++ b/Source/AbsInt/AbsInt.csproj
@@ -100,14 +100,6 @@
   </PropertyGroup>
   <ItemGroup>
     <Reference Include="System" />
-    <Reference Include="System.Compiler, Version=1.0.21125.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
-      <SpecificVersion>False</SpecificVersion>
-      <HintPath>..\..\Binaries\System.Compiler.dll</HintPath>
-    </Reference>
-    <Reference Include="System.Compiler.Framework, Version=1.0.21125.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
-      <SpecificVersion>False</SpecificVersion>
-      <HintPath>..\..\Binaries\System.Compiler.Framework.dll</HintPath>
-    </Reference>
     <Reference Include="System.Core">
       <RequiredTargetFramework>3.5</RequiredTargetFramework>
     </Reference>
-- 
cgit v1.2.3