From bc03ffb800f6dac12283ae51d2b6a3f1053ad3f8 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 18 May 2020 20:19:33 -0700 Subject: [PATCH] typing error Signed-off-by: Nikolaj Bjorner --- src/ast/rewriter/seq_rewriter.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/rewriter/seq_rewriter.cpp b/src/ast/rewriter/seq_rewriter.cpp index 89844c426..72ec4fa21 100644 --- a/src/ast/rewriter/seq_rewriter.cpp +++ b/src/ast/rewriter/seq_rewriter.cpp @@ -1972,7 +1972,7 @@ bool seq_rewriter::get_head_tail(expr* s, expr_ref& head, expr_ref& tail) { return true; } if (m_util.str.is_string(s, s1) && s1.length() > 0) { - head = m_util.str.mk_string(s1.extract(0, 1)); + head = m_util.mk_char(s1[0]); tail = m_util.str.mk_string(s1.extract(1, s1.length())); return true; }