diff options
Diffstat (limited to 'Source/Dafny/DafnyPipeline.csproj')
-rw-r--r-- | Source/Dafny/DafnyPipeline.csproj | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Source/Dafny/DafnyPipeline.csproj b/Source/Dafny/DafnyPipeline.csproj index b4c2ae1e..14f1c945 100644 --- a/Source/Dafny/DafnyPipeline.csproj +++ b/Source/Dafny/DafnyPipeline.csproj @@ -129,14 +129,14 @@ <ItemGroup>
<Reference Include="Basetypes, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
<SpecificVersion>False</SpecificVersion>
- <HintPath>..\..\Binaries\Basetypes.dll</HintPath>
+ <HintPath>..\..\..\boogie\Binaries\Basetypes.dll</HintPath>
</Reference>
<Reference Include="Core, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
<SpecificVersion>False</SpecificVersion>
- <HintPath>..\..\Binaries\Core.dll</HintPath>
+ <HintPath>..\..\..\boogie\Binaries\Core.dll</HintPath>
</Reference>
<Reference Include="ParserHelper">
- <HintPath>..\..\Binaries\ParserHelper.dll</HintPath>
+ <HintPath>..\..\..\boogie\Binaries\ParserHelper.dll</HintPath>
</Reference>
<Reference Include="System" />
<Reference Include="System.Core">
@@ -196,4 +196,4 @@ <Target Name="AfterBuild">
</Target>
-->
-</Project>
\ No newline at end of file +</Project>
|