summaryrefslogtreecommitdiff
path: root/Source/AbsInt
diff options
context:
space:
mode:
authorGravatar tabarbe <unknown>2010-08-04 15:45:17 +0000
committerGravatar tabarbe <unknown>2010-08-04 15:45:17 +0000
commit979d9c23c9d3802d1fea73406b3e11254ba2f30c (patch)
tree9c4c853b3395c55469eadf9b0ab52100c6bf0a73 /Source/AbsInt
parenta4b2e81e952d782cd8813d21a5fb96dc231dfcdf (diff)
Boogie: Code Contracts runtime checking was turned on in AbsInt. I turned it back off.
Diffstat (limited to 'Source/AbsInt')
-rw-r--r--Source/AbsInt/AbsInt.csproj2
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/AbsInt/AbsInt.csproj b/Source/AbsInt/AbsInt.csproj
index 3693400f..0b5ffba5 100644
--- a/Source/AbsInt/AbsInt.csproj
+++ b/Source/AbsInt/AbsInt.csproj
@@ -24,7 +24,7 @@
<DefineConstants>DEBUG;TRACE</DefineConstants>
<ErrorReport>prompt</ErrorReport>
<WarningLevel>4</WarningLevel>
- <CodeContractsEnableRuntimeChecking>True</CodeContractsEnableRuntimeChecking>
+ <CodeContractsEnableRuntimeChecking>False</CodeContractsEnableRuntimeChecking>
<CodeContractsRuntimeOnlyPublicSurface>False</CodeContractsRuntimeOnlyPublicSurface>
<CodeContractsRuntimeThrowOnFailure>True</CodeContractsRuntimeThrowOnFailure>
<CodeContractsRuntimeCallSiteRequires>False</CodeContractsRuntimeCallSiteRequires>