From e42bc4dbc928260d0652f6c6575a71745b215ab5 Mon Sep 17 00:00:00 2001
From: tabarbe <unknown>
Date: Fri, 23 Jul 2010 15:38:08 +0000
Subject: Boogie: Committing my port of simplify, along with the slightly
 changed references of simplify's dependents.

---
 Source/Provers/SMTLib/SMTLib.csproj | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

(limited to 'Source/Provers/SMTLib')

diff --git a/Source/Provers/SMTLib/SMTLib.csproj b/Source/Provers/SMTLib/SMTLib.csproj
index 37ea2536..235a99ca 100644
--- a/Source/Provers/SMTLib/SMTLib.csproj
+++ b/Source/Provers/SMTLib/SMTLib.csproj
@@ -77,10 +77,6 @@
       <SpecificVersion>False</SpecificVersion>
       <HintPath>..\..\..\Binaries\Microsoft.Contracts.dll</HintPath>
     </Reference>
-    <Reference Include="Provers.Simplify, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
-      <SpecificVersion>False</SpecificVersion>
-      <HintPath>..\Simplify\bin\debug\Provers.Simplify.dll</HintPath>
-    </Reference>
     <Reference Include="System" />
     <Reference Include="System.Compiler.Runtime, Version=1.0.21125.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
       <SpecificVersion>False</SpecificVersion>
@@ -106,6 +102,12 @@
     <Compile Include="SMTLibLineariser.cs" />
     <Compile Include="TypeDeclCollector.cs" />
   </ItemGroup>
+  <ItemGroup>
+    <ProjectReference Include="..\Simplify\Simplify.csproj">
+      <Project>{FEE9F01B-9722-4A76-A24B-72A4016DFA8E}</Project>
+      <Name>Simplify</Name>
+    </ProjectReference>
+  </ItemGroup>
   <ItemGroup>
     <Folder Include="Properties\" />
   </ItemGroup>
-- 
cgit v1.2.3