From c333ecd2f30badea143e79f5f944a8c63398b959 Mon Sep 17 00:00:00 2001
From: tabarbe <unknown>
Date: Fri, 27 Aug 2010 21:15:08 +0000
Subject: Boogie: Removed some errors with code contracts (commenting out
 doubly-inherited requires statements), and set the code contracts settings to
 the correct compilation style for when runtime checking is turned on.  (I did
 not turn on runtime checking, however).

---
 Source/Provers/Z3/Z3.csproj | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/Provers/Z3')

diff --git a/Source/Provers/Z3/Z3.csproj b/Source/Provers/Z3/Z3.csproj
index 8755d6c2..114544f4 100644
--- a/Source/Provers/Z3/Z3.csproj
+++ b/Source/Provers/Z3/Z3.csproj
@@ -12,7 +12,7 @@
     <AssemblyName>Provers.Z3</AssemblyName>
     <TargetFrameworkVersion>v3.5</TargetFrameworkVersion>
     <FileAlignment>512</FileAlignment>
-    <CodeContractsAssemblyMode>0</CodeContractsAssemblyMode>
+    <CodeContractsAssemblyMode>1</CodeContractsAssemblyMode>
     <SignAssembly>true</SignAssembly>
     <AssemblyOriginatorKeyFile>..\..\InterimKey.snk</AssemblyOriginatorKeyFile>
   </PropertyGroup>
-- 
cgit v1.2.3