From b0b50edca3da937778bbb3f1d53029fa1a9ec3cf Mon Sep 17 00:00:00 2001
From: tabarbe <unknown>
Date: Fri, 16 Jul 2010 21:05:12 +0000
Subject: <Boogie> BoogieDriver.csproj was missing a reference to AbsInt. 
 Remedied that issue. <\Boogie>

---
 Source/BoogieDriver/BoogieDriver.csproj | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'Source')

diff --git a/Source/BoogieDriver/BoogieDriver.csproj b/Source/BoogieDriver/BoogieDriver.csproj
index 14b9d938..31a0ce3f 100644
--- a/Source/BoogieDriver/BoogieDriver.csproj
+++ b/Source/BoogieDriver/BoogieDriver.csproj
@@ -63,6 +63,10 @@
     <WarningLevel>4</WarningLevel>
   </PropertyGroup>
   <ItemGroup>
+    <Reference Include="AbsInt, Version=1.0.0.0, Culture=neutral, processorArchitecture=MSIL">
+      <SpecificVersion>False</SpecificVersion>
+      <HintPath>..\AbsInt\bin\Debug\AbsInt.dll</HintPath>
+    </Reference>
     <Reference Include="Microsoft.Contracts, Version=1.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL" />
     <Reference Include="Microsoft.SpecSharp, Version=1.0.21125.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
       <SpecificVersion>False</SpecificVersion>
@@ -88,10 +92,6 @@
     <Compile Include="BoogieDriver.cs" />
   </ItemGroup>
   <ItemGroup>
-    <ProjectReference Include="..\AbsInt\AbsInt.sscproj">
-      <Project>{11D06232-2039-4BCA-853B-C596E2A4EDB0}</Project>
-      <Name>AbsInt</Name>
-    </ProjectReference>
     <ProjectReference Include="..\AIFramework\AIFramework.sscproj">
       <Project>{24B55172-AD8B-47D1-8952-5A95CFDB9B31}</Project>
       <Name>AIFramework</Name>
-- 
cgit v1.2.3