From 26ac7446fae34e4d30a884ed351fbdb82b0dce52 Mon Sep 17 00:00:00 2001
From: tabarbe <unknown>
Date: Wed, 14 Jul 2010 18:37:57 +0000
Subject: Boogie/Isabelle: Had to redirect some references required for
 building.

---
 Source/Provers/Isabelle/Isabelle.csproj | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'Source/Provers/Isabelle')

diff --git a/Source/Provers/Isabelle/Isabelle.csproj b/Source/Provers/Isabelle/Isabelle.csproj
index ebe18eaa..7fd88a87 100644
--- a/Source/Provers/Isabelle/Isabelle.csproj
+++ b/Source/Provers/Isabelle/Isabelle.csproj
@@ -41,7 +41,7 @@
     </Reference>
     <Reference Include="Core, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
       <SpecificVersion>False</SpecificVersion>
-      <HintPath>..\..\..\..\Binaries\Core.dll</HintPath>
+      <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>
@@ -52,11 +52,11 @@
     <Reference Include="System.Xml" />
     <Reference Include="VCExpr, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
       <SpecificVersion>False</SpecificVersion>
-      <HintPath>..\..\..\..\Binaries\VCExpr.dll</HintPath>
+      <HintPath>..\..\VCExpr\bin\debug\VCExpr.dll</HintPath>
     </Reference>
     <Reference Include="VCGeneration, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
       <SpecificVersion>False</SpecificVersion>
-      <HintPath>..\..\..\..\Binaries\VCGeneration.dll</HintPath>
+      <HintPath>..\..\VCGeneration\bin\debug\VCGeneration.dll</HintPath>
     </Reference>
   </ItemGroup>
   <ItemGroup>
-- 
cgit v1.2.3