summaryrefslogtreecommitdiff
path: root/Source/Provers/TPTP
diff options
context:
space:
mode:
authorGravatar mikebarnett <unknown>2011-03-16 15:49:53 +0000
committerGravatar mikebarnett <unknown>2011-03-16 15:49:53 +0000
commitbb2b6bafa3d4308939b1aede702ccf2272bb54d8 (patch)
tree955915fc406845d8ed66470386597213a08981f6 /Source/Provers/TPTP
parentf204ba1c4715979cabab3305244cded50d4cb445 (diff)
Re-enabled quantifier checking in the Checked configuration.
Diffstat (limited to 'Source/Provers/TPTP')
-rw-r--r--Source/Provers/TPTP/TPTP.csproj2
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Provers/TPTP/TPTP.csproj b/Source/Provers/TPTP/TPTP.csproj
index b0f32350..564b33f3 100644
--- a/Source/Provers/TPTP/TPTP.csproj
+++ b/Source/Provers/TPTP/TPTP.csproj
@@ -49,7 +49,7 @@
<CodeContractsRuntimeOnlyPublicSurface>False</CodeContractsRuntimeOnlyPublicSurface>
<CodeContractsRuntimeThrowOnFailure>True</CodeContractsRuntimeThrowOnFailure>
<CodeContractsRuntimeCallSiteRequires>False</CodeContractsRuntimeCallSiteRequires>
- <CodeContractsRuntimeSkipQuantifiers>True</CodeContractsRuntimeSkipQuantifiers>
+ <CodeContractsRuntimeSkipQuantifiers>False</CodeContractsRuntimeSkipQuantifiers>
<CodeContractsRunCodeAnalysis>False</CodeContractsRunCodeAnalysis>
<CodeContractsNonNullObligations>False</CodeContractsNonNullObligations>
<CodeContractsBoundsObligations>False</CodeContractsBoundsObligations>