summaryrefslogtreecommitdiff
path: root/Source/Basetypes/Basetypes.csproj
diff options
context:
space:
mode:
Diffstat (limited to 'Source/Basetypes/Basetypes.csproj')
-rw-r--r--Source/Basetypes/Basetypes.csproj7
1 files changed, 6 insertions, 1 deletions
diff --git a/Source/Basetypes/Basetypes.csproj b/Source/Basetypes/Basetypes.csproj
index eed8639e..b732f818 100644
--- a/Source/Basetypes/Basetypes.csproj
+++ b/Source/Basetypes/Basetypes.csproj
@@ -81,11 +81,16 @@
</ItemGroup>
<ItemGroup>
<Compile Include="BigNum.cs" />
- <Compile Include="cce.cs" />
<Compile Include="Rational.cs" />
<Compile Include="Set.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" />