summaryrefslogtreecommitdiff
path: root/Source/AIFramework
diff options
context:
space:
mode:
authorGravatar mikebarnett <unknown>2011-03-14 21:32:01 +0000
committerGravatar mikebarnett <unknown>2011-03-14 21:32:01 +0000
commitcbb8b96f2690cb6a0756279e54e72b95d9afd596 (patch)
tree584c2d08ea34bf5550c770539d8225c9eb950950 /Source/AIFramework
parentb318ad7c93417dbd7dfb10dd14ed5930837d591e (diff)
Turn off quantifier checking in the runtime checking.
Diffstat (limited to 'Source/AIFramework')
-rw-r--r--Source/AIFramework/AIFramework.csproj2
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/AIFramework/AIFramework.csproj b/Source/AIFramework/AIFramework.csproj
index 22e115ba..98723d85 100644
--- a/Source/AIFramework/AIFramework.csproj
+++ b/Source/AIFramework/AIFramework.csproj
@@ -115,7 +115,7 @@
<CodeContractsRuntimeOnlyPublicSurface>False</CodeContractsRuntimeOnlyPublicSurface>
<CodeContractsRuntimeThrowOnFailure>True</CodeContractsRuntimeThrowOnFailure>
<CodeContractsRuntimeCallSiteRequires>False</CodeContractsRuntimeCallSiteRequires>
- <CodeContractsRuntimeSkipQuantifiers>False</CodeContractsRuntimeSkipQuantifiers>
+ <CodeContractsRuntimeSkipQuantifiers>True</CodeContractsRuntimeSkipQuantifiers>
<CodeContractsRunCodeAnalysis>False</CodeContractsRunCodeAnalysis>
<CodeContractsNonNullObligations>False</CodeContractsNonNullObligations>
<CodeContractsBoundsObligations>False</CodeContractsBoundsObligations>