From da0230f37819fd9d67b561015a2b53743efe8f7d Mon Sep 17 00:00:00 2001
From: tabarbe <unknown>
Date: Wed, 21 Jul 2010 21:02:42 +0000
Subject: Boogie: Fixing incorrect referencing of Microsoft.Contracts (the Code
 Contracts dll) in AbsInt, Isabelle, and Z3

---
 Source/AbsInt/AbsInt.csproj | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

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

diff --git a/Source/AbsInt/AbsInt.csproj b/Source/AbsInt/AbsInt.csproj
index 82f53933..3c020192 100644
--- a/Source/AbsInt/AbsInt.csproj
+++ b/Source/AbsInt/AbsInt.csproj
@@ -75,10 +75,7 @@
       <SpecificVersion>False</SpecificVersion>
       <HintPath>..\Core\bin\Debug\Core.dll</HintPath>
     </Reference>
-    <Reference Include="Microsoft.Contracts, Version=1.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
-      <SpecificVersion>False</SpecificVersion>
-      <HintPath>..\..\Binaries\Microsoft.Contracts.dll</HintPath>
-    </Reference>
+    <Reference Include="Microsoft.Contracts, Version=1.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL" />
     <Reference Include="System" />
     <Reference Include="System.Compiler, Version=1.0.21125.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
       <SpecificVersion>False</SpecificVersion>
-- 
cgit v1.2.3