diff options
| author |  tabarbe <unknown> | 2010-07-19 21:36:53 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-07-19 21:36:53 +0000 |
| commit | 894b881ed4771504d79f822e153cf06e264c98c1 (patch) | |
| tree | 6638682ab356cd5970944e54a575a0b3e0912693 /Source/AbsInt/AbsInt.csproj | |
| parent | 28e03877a9c41dc0556d17115ccd1647f9eddcf6 (diff) | |
Boogie: Changed how the references in AbsInt are referenced, and fixed a typo in the Spec# version of Z3's ProverInterface.ssc
Diffstat (limited to 'Source/AbsInt/AbsInt.csproj')
| -rw-r--r-- | Source/AbsInt/AbsInt.csproj | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Source/AbsInt/AbsInt.csproj b/Source/AbsInt/AbsInt.csproj index d26f5c60..82f53933 100644 --- a/Source/AbsInt/AbsInt.csproj +++ b/Source/AbsInt/AbsInt.csproj @@ -65,15 +65,15 @@ <ItemGroup>
<Reference Include="AIFramework, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
<SpecificVersion>False</SpecificVersion>
- <HintPath>..\..\Binaries\AIFramework.dll</HintPath>
+ <HintPath>..\AIFramework\bin\debug\AIFramework.dll</HintPath>
</Reference>
<Reference Include="Basetypes, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
<SpecificVersion>False</SpecificVersion>
- <HintPath>..\..\Binaries\Basetypes.dll</HintPath>
+ <HintPath>..\Basetypes\bin\debug\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>..\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>
|