From 0d0dfac8457a3c95cf8414b93c3d6e826369630f Mon Sep 17 00:00:00 2001
From: tabarbe <unknown>
Date: Fri, 20 Aug 2010 22:35:16 +0000
Subject: Boogie: Committing changed references

---
 Source/VCExpr/VCExpr.csproj | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

(limited to 'Source/VCExpr/VCExpr.csproj')

diff --git a/Source/VCExpr/VCExpr.csproj b/Source/VCExpr/VCExpr.csproj
index 841ed396..fdb303d3 100644
--- a/Source/VCExpr/VCExpr.csproj
+++ b/Source/VCExpr/VCExpr.csproj
@@ -12,7 +12,7 @@
     <AssemblyName>VCExpr</AssemblyName>
     <TargetFrameworkVersion>v3.5</TargetFrameworkVersion>
     <FileAlignment>512</FileAlignment>
-    <CodeContractsAssemblyMode>0</CodeContractsAssemblyMode>
+    <CodeContractsAssemblyMode>1</CodeContractsAssemblyMode>
     <SignAssembly>true</SignAssembly>
     <AssemblyOriginatorKeyFile>..\InterimKey.snk</AssemblyOriginatorKeyFile>
   </PropertyGroup>
@@ -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,8 +96,8 @@
       <Project>{0C692837-77EC-415F-BF04-395E3ED06E9A}</Project>
       <Name>Basetypes</Name>
     </ProjectReference>
-    <ProjectReference Include="..\Core\Core.sscproj">
-      <Project>{47BC34F1-A173-40BE-84C2-9332B4418387}</Project>
+    <ProjectReference Include="..\Core\Core.csproj">
+      <Project>{B230A69C-C466-4065-B9C1-84D80E76D802}</Project>
       <Name>Core</Name>
     </ProjectReference>
   </ItemGroup>
-- 
cgit v1.2.3