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/AIFramework | |
| 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/AIFramework')
| -rw-r--r-- | Source/AIFramework/AIFramework.csproj | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Source/AIFramework/AIFramework.csproj b/Source/AIFramework/AIFramework.csproj index 1a10628c..0e5804d7 100644 --- a/Source/AIFramework/AIFramework.csproj +++ b/Source/AIFramework/AIFramework.csproj @@ -70,9 +70,6 @@ <Reference Include="System" />
</ItemGroup>
<ItemGroup>
- <Compile Include="cce.cs">
- <SubType>Code</SubType>
- </Compile>
<Compile Include="CommonFunctionSymbols.cs" />
<Compile Include="Expr.cs" />
<Compile Include="Functional.cs" />
@@ -96,6 +93,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>
</ItemGroup>
<ItemGroup>
<Folder Include="Properties\" />
|