diff options
| author |  tabarbe <unknown> | 2010-07-14 18:37:57 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-07-14 18:37:57 +0000 |
| commit | 26ac7446fae34e4d30a884ed351fbdb82b0dce52 (patch) | |
| tree | 5763a465ac9f208e1cd6efaf1ad08f26f3353449 /Source/Provers | |
| parent | 70fc20db251bff5c2cdfb210c40a594c94192c92 (diff) | |
Boogie/Isabelle: Had to redirect some references required for building.
Diffstat (limited to 'Source/Provers')
| -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>
|