From 908f09a9df876a4de3a3c45281f72000bb849004 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 1 Mar 2016 08:46:43 -0800 Subject: [PATCH] update logic Signed-off-by: Nikolaj Bjorner --- src/smt/params/smt_params.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/smt/params/smt_params.cpp b/src/smt/params/smt_params.cpp index c31b2fb6d..3158ea9a1 100644 --- a/src/smt/params/smt_params.cpp +++ b/src/smt/params/smt_params.cpp @@ -38,6 +38,7 @@ void smt_params::updt_local_params(params_ref const & _p) { m_rlimit = p.rlimit(); m_max_conflicts = p.max_conflicts(); m_core_validate = p.core_validate(); + m_smtlib_logic = _p.get_symbol("logic", m_smtlib_logic); model_params mp(_p); m_model_compact = mp.compact(); if (_p.get_bool("arith.greatest_error_pivot", false))