From a0b7879dd9895949d8325bdfd18ed9ebbe505ca8 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 26 Jan 2021 11:20:28 -0800 Subject: [PATCH] handle signed characters convertions into unsigned numbers --- src/api/api_seq.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/api_seq.cpp b/src/api/api_seq.cpp index 311e238cb..462c2da2e 100644 --- a/src/api/api_seq.cpp +++ b/src/api/api_seq.cpp @@ -61,7 +61,7 @@ extern "C" { LOG_Z3_mk_string(c, str); RESET_ERROR_CODE(); unsigned_vector chs; - for (unsigned i = 0; i < sz; ++i) chs.push_back(str[i]); + for (unsigned i = 0; i < sz; ++i) chs.push_back((unsigned char)str[i]); zstring s(sz, chs.c_ptr()); app* a = mk_c(c)->sutil().str.mk_string(s); mk_c(c)->save_ast_trail(a);