diff options
Diffstat (limited to 'Source/Basetypes')
-rw-r--r-- | Source/Basetypes/Basetypes.csproj | 7 | ||||
-rw-r--r-- | Source/Basetypes/cce.cs | 2 |
2 files changed, 7 insertions, 2 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" />
diff --git a/Source/Basetypes/cce.cs b/Source/Basetypes/cce.cs index d85a1300..ef594484 100644 --- a/Source/Basetypes/cce.cs +++ b/Source/Basetypes/cce.cs @@ -131,7 +131,7 @@ public static class cce { // return toRet;
//}
- //internal static bool NonNullElements(Microsoft.Boogie.Set set) {
+ //internal static bool NonNullElements(Set set) {
// return set != null && Contract.ForAll(0,set.Count, i => set[i] != null);
//}
}
|