diff options
| author |  rustanleino <unknown> | 2010-04-16 21:02:18 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-04-16 21:02:18 +0000 |
| commit | 584e66329027e1ea3faff5253a0b5554d455df49 (patch) | |
| tree | f409c99a4c02710401560c3897dffd1c2e292ff6 /BCT/BytecodeTranslator | |
| parent | 7e0b0e5c9c8efbc3153aa56d48c1d31c4c88db4a (diff) | |
Moved BCT project references for Boogie to the Boogie\Binaries directory.
Diffstat (limited to 'BCT/BytecodeTranslator')
| -rw-r--r-- | BCT/BytecodeTranslator/BytecodeTranslator.csproj | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/BCT/BytecodeTranslator/BytecodeTranslator.csproj b/BCT/BytecodeTranslator/BytecodeTranslator.csproj index 7bdb1871..3c5c510f 100644 --- a/BCT/BytecodeTranslator/BytecodeTranslator.csproj +++ b/BCT/BytecodeTranslator/BytecodeTranslator.csproj @@ -79,19 +79,19 @@ <ItemGroup>
<Reference Include="AbsInt, Version=1.0.21125.0, Culture=neutral, processorArchitecture=MSIL">
<SpecificVersion>False</SpecificVersion>
- <HintPath>..\Imported\Boogie\AbsInt.dll</HintPath>
+ <HintPath>..\..\Binaries\AbsInt.dll</HintPath>
</Reference>
<Reference Include="AIFramework, Version=1.0.21125.0, Culture=neutral, processorArchitecture=MSIL">
<SpecificVersion>False</SpecificVersion>
- <HintPath>..\Imported\Boogie\AIFramework.dll</HintPath>
+ <HintPath>..\..\Binaries\AIFramework.dll</HintPath>
</Reference>
<Reference Include="Basetypes, Version=1.0.21125.0, Culture=neutral, processorArchitecture=MSIL">
<SpecificVersion>False</SpecificVersion>
- <HintPath>..\Imported\Boogie\Basetypes.dll</HintPath>
+ <HintPath>..\..\Binaries\Basetypes.dll</HintPath>
</Reference>
<Reference Include="Core, Version=1.0.21125.0, Culture=neutral, processorArchitecture=MSIL">
<SpecificVersion>False</SpecificVersion>
- <HintPath>..\Imported\Boogie\Core.dll</HintPath>
+ <HintPath>..\..\Binaries\Core.dll</HintPath>
</Reference>
<Reference Include="System" />
<Reference Include="System.Core">
|