1 files changed, 6 insertions, 6 deletions
diff --git a/Source/DafnyDriver/DafnyDriver.csproj b/Source/DafnyDriver/DafnyDriver.csproj
index 52e3d827..0097058e 100644
--- a/Source/DafnyDriver/DafnyDriver.csproj
+++ b/Source/DafnyDriver/DafnyDriver.csproj
@@ -125,27 +125,27 @@
   </PropertyGroup>
   <ItemGroup>
     <Reference Include="AbsInt">
-      <HintPath>..\..\Binaries\AbsInt.dll</HintPath>
+      <HintPath>..\..\..\boogie\Binaries\AbsInt.dll</HintPath>
     </Reference>
     <Reference Include="BVD, Version=2.2.30705.1126, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
       <SpecificVersion>False</SpecificVersion>
       <HintPath>..\..\..\boogie\Binaries\BVD.exe</HintPath>
     </Reference>
     <Reference Include="Core">
-      <HintPath>..\..\Binaries\Core.dll</HintPath>
+      <HintPath>..\..\..\boogie\Binaries\Core.dll</HintPath>
     </Reference>
     <Reference Include="Provers.SMTLib">
-      <HintPath>..\..\Binaries\Provers.SMTLib.dll</HintPath>
+      <HintPath>..\..\..\boogie\Binaries\Provers.SMTLib.dll</HintPath>
     </Reference>
     <Reference Include="ParserHelper, Version=2.2.30705.1126, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
       <SpecificVersion>False</SpecificVersion>
-      <HintPath>..\..\Binaries\ParserHelper.dll</HintPath>
+      <HintPath>..\..\..\boogie\Binaries\ParserHelper.dll</HintPath>
     </Reference>
     <Reference Include="System" />
     <Reference Include="System.Data" />
     <Reference Include="System.Xml" />
     <Reference Include="VCGeneration">
-      <HintPath>..\..\Binaries\VCGeneration.dll</HintPath>
+      <HintPath>..\..\..\boogie\Binaries\VCGeneration.dll</HintPath>
     </Reference>
   </ItemGroup>
   <ItemGroup>
@@ -189,4 +189,4 @@
   <Target Name="AfterBuild">
   </Target>
   -->
-</Project>
-\ No newline at end of file
+</Project>