summaryrefslogtreecommitdiff
path: root/Source/VCExpr
diff options
context:
space:
mode:
authorGravatar tabarbe <unknown>2010-08-27 17:23:51 +0000
committerGravatar tabarbe <unknown>2010-08-27 17:23:51 +0000
commit6de3f9c9f86be13bbd4f0bd6e4edf7d7785db0a4 (patch)
tree087d90276b93254a98cbd1e3c898d5b2d48af1e8 /Source/VCExpr
parent5b3285b1261b27a5a6bdeac05ab836c0947280da (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/VCExpr')
-rw-r--r--Source/VCExpr/VCExpr.csproj5
1 files changed, 4 insertions, 1 deletions
diff --git a/Source/VCExpr/VCExpr.csproj b/Source/VCExpr/VCExpr.csproj
index e9209c8a..9de26941 100644
--- a/Source/VCExpr/VCExpr.csproj
+++ b/Source/VCExpr/VCExpr.csproj
@@ -75,7 +75,6 @@
<ItemGroup>
<Compile Include="BigLiteralAbstracter.cs" />
<Compile Include="Boogie2VCExpr.cs" />
- <Compile Include="cce.cs" />
<Compile Include="Clustering.cs" />
<Compile Include="LetBindingSorter.cs" />
<Compile Include="NameClashResolver.cs" />
@@ -97,6 +96,10 @@
<Project>{43DFAD18-3E35-4558-9BE2-CAFF6B5BA8A0}</Project>
<Name>Basetypes</Name>
</ProjectReference>
+ <ProjectReference Include="..\CodeContractsExtender\CodeContractsExtender.csproj">
+ <Project>{ACCC0156-0921-43ED-8F67-AD8BDC8CDE31}</Project>
+ <Name>CodeContractsExtender</Name>
+ </ProjectReference>
<ProjectReference Include="..\Core\Core.csproj">
<Project>{B230A69C-C466-4065-B9C1-84D80E76D802}</Project>
<Name>Core</Name>