diff options
| author |  tabarbe <unknown> | 2010-08-27 17:23:51 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-08-27 17:23:51 +0000 |
| commit | 6de3f9c9f86be13bbd4f0bd6e4edf7d7785db0a4 (patch) | |
| tree | 087d90276b93254a98cbd1e3c898d5b2d48af1e8 /Source/Graph | |
| parent | 5b3285b1261b27a5a6bdeac05ab836c0947280da (diff) | |
Boogie: Changed the cce classes into one separate project, which every other project in the Boogie solution references. Dafny.csproj has an internal copy of cce, so does not reference this project, because the Dafny cce uses some Dafny-defined types in its helper methods.
Diffstat (limited to 'Source/Graph')
| -rw-r--r-- | Source/Graph/Graph.csproj | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/Source/Graph/Graph.csproj b/Source/Graph/Graph.csproj index c2d3e5b0..1756b36f 100644 --- a/Source/Graph/Graph.csproj +++ b/Source/Graph/Graph.csproj @@ -76,12 +76,15 @@ <Reference Include="System.Xml" />
</ItemGroup>
<ItemGroup>
- <Compile Include="cce.cs">
- <SubType>Code</SubType>
- </Compile>
<Compile Include="Graph.cs" />
</ItemGroup>
<ItemGroup>
+ <ProjectReference Include="..\CodeContractsExtender\CodeContractsExtender.csproj">
+ <Project>{ACCC0156-0921-43ED-8F67-AD8BDC8CDE31}</Project>
+ <Name>CodeContractsExtender</Name>
+ </ProjectReference>
+ </ItemGroup>
+ <ItemGroup>
<Folder Include="Properties\" />
</ItemGroup>
<Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />
|