From b181d9d5fa8fb9e9f0ab33d749c9f0202cd2e74c Mon Sep 17 00:00:00 2001
From: Thai Trinh <trinhmt@comp.nus.edu.sg>
Date: Fri, 8 Dec 2017 18:45:56 +0800
Subject: [PATCH] fix set-up

---
 src/smt/smt_setup.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/smt/smt_setup.cpp b/src/smt/smt_setup.cpp
index 263931be8..5245e8020 100644
--- a/src/smt/smt_setup.cpp
+++ b/src/smt/smt_setup.cpp
@@ -727,10 +727,10 @@ namespace smt {
             setup_str();
         }
         else if (m_params.m_string_solver == "seq") {
-            setup_seq();
+            setup_unknown();
         }
         else if (m_params.m_string_solver == "auto") {
-            setup_seq();
+            setup_unknown();
         }
         else {
             throw default_exception("invalid parameter for smt.string_solver, valid options are 'z3str3', 'seq', 'auto'");