diff options
| author |  tabarbe <unknown> | 2010-07-23 15:38:08 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-07-23 15:38:08 +0000 |
| commit | e42bc4dbc928260d0652f6c6575a71745b215ab5 (patch) | |
| tree | 41aeead1f688eee643f494adb97ea895c047c696 /Source/Provers/SMTLib | |
| parent | 90dcdf49daeb902f8e05ef7a9e1b652d51ef6388 (diff) | |
Boogie: Committing my port of simplify, along with the slightly changed references of simplify's dependents.
Diffstat (limited to 'Source/Provers/SMTLib')
| -rw-r--r-- | Source/Provers/SMTLib/SMTLib.csproj | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/Source/Provers/SMTLib/SMTLib.csproj b/Source/Provers/SMTLib/SMTLib.csproj index 37ea2536..235a99ca 100644 --- a/Source/Provers/SMTLib/SMTLib.csproj +++ b/Source/Provers/SMTLib/SMTLib.csproj @@ -77,10 +77,6 @@ <SpecificVersion>False</SpecificVersion>
<HintPath>..\..\..\Binaries\Microsoft.Contracts.dll</HintPath>
</Reference>
- <Reference Include="Provers.Simplify, Version=2.0.0.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
- <SpecificVersion>False</SpecificVersion>
- <HintPath>..\Simplify\bin\debug\Provers.Simplify.dll</HintPath>
- </Reference>
<Reference Include="System" />
<Reference Include="System.Compiler.Runtime, Version=1.0.21125.0, Culture=neutral, PublicKeyToken=736440c9b414ea16, processorArchitecture=MSIL">
<SpecificVersion>False</SpecificVersion>
@@ -107,6 +103,12 @@ <Compile Include="TypeDeclCollector.cs" />
</ItemGroup>
<ItemGroup>
+ <ProjectReference Include="..\Simplify\Simplify.csproj">
+ <Project>{FEE9F01B-9722-4A76-A24B-72A4016DFA8E}</Project>
+ <Name>Simplify</Name>
+ </ProjectReference>
+ </ItemGroup>
+ <ItemGroup>
<Folder Include="Properties\" />
</ItemGroup>
<Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />
|