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

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

diff --git a/Source/Core/Core.csproj b/Source/Core/Core.csproj
index ab4857dc..6cea383c 100644
--- a/Source/Core/Core.csproj
+++ b/Source/Core/Core.csproj
@@ -103,19 +103,7 @@
       <SpecificVersion>False</SpecificVersion>
       <HintPath>..\..\Binaries\FSharp.Core.dll</HintPath>
     </Reference>
-    <Reference Include="Microsoft.SpecSharp.Runtime, Version=1.0.21126.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
-      <SpecificVersion>False</SpecificVersion>
-      <HintPath>..\..\Binaries\Microsoft.SpecSharp.Runtime.dll</HintPath>
-    </Reference>
     <Reference Include="System" />
-    <Reference Include="System.Compiler, Version=1.0.21126.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.21126.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
-      <SpecificVersion>False</SpecificVersion>
-      <HintPath>..\..\Binaries\System.Compiler.Framework.dll</HintPath>
-    </Reference>
     <Reference Include="System.Xml" />
   </ItemGroup>
   <ItemGroup>
-- 
cgit v1.2.3