diff options
Diffstat (limited to 'Source/Provers/Isabelle/Isabelle.csproj')
-rw-r--r-- | Source/Provers/Isabelle/Isabelle.csproj | 6 |
1 files changed, 3 insertions, 3 deletions
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>
|