From 805bb5828953c65560856e056710a44a0fb8bcfc Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 12 Jul 2021 12:35:24 +0200 Subject: [PATCH] fix #5404 --- src/smt/smt_setup.cpp | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/smt/smt_setup.cpp b/src/smt/smt_setup.cpp index 9f1103da2..ba601272d 100644 --- a/src/smt/smt_setup.cpp +++ b/src/smt/smt_setup.cpp @@ -735,10 +735,6 @@ namespace smt { else if (m_params.m_string_solver == "none") { // don't register any solver. } - else if (m_params.m_string_solver == "char") { - setup_QF_BV(); - setup_char(); - } else { throw default_exception("invalid parameter for smt.string_solver, valid options are 'z3str3', 'seq', 'auto'"); }