From 9d31b6427351715f5b6d40ac009214c973f8f135 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Thu, 30 Jul 2015 09:31:58 +0100 Subject: [PATCH] Enforced well_sorted_check/type_check by default (to match default parameter settings and to produce better error messages). Fixes #180 Signed-off-by: Christoph M. Wintersteiger --- src/cmd_context/context_params.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/cmd_context/context_params.cpp b/src/cmd_context/context_params.cpp index 70f110c92..8760ade15 100644 --- a/src/cmd_context/context_params.cpp +++ b/src/cmd_context/context_params.cpp @@ -33,7 +33,7 @@ context_params::context_params() { m_trace = false; m_debug_ref_count = false; m_smtlib2_compliant = false; - m_well_sorted_check = false; + m_well_sorted_check = true; m_timeout = UINT_MAX; updt_params(); }