diff options
| -rw-r--r-- | Source/AbsInt/AbsInt.csproj | 6 | ||||
| -rw-r--r-- | Source/Provers/Z3/ProverInterface.ssc | 2 |
2 files changed, 4 insertions, 4 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>
diff --git a/Source/Provers/Z3/ProverInterface.ssc b/Source/Provers/Z3/ProverInterface.ssc index cc788033..3473a139 100644 --- a/Source/Provers/Z3/ProverInterface.ssc +++ b/Source/Provers/Z3/ProverInterface.ssc @@ -128,7 +128,7 @@ namespace Microsoft.Boogie.Z3 return opts.BitVectors;
} }
- internal Z3LineariserOptions(bool asTerm, Z3InstanceOptions !opts, List<VCExprVar!>! letVariables) {
+ internal Z3LineariserOptions(bool asTerm, Z3InstanceOptions! opts, List<VCExprVar!>! letVariables) {
base(asTerm);
this.opts = opts;
this.LetVariablesAttr = letVariables;
|