mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 06:03:23 +00:00
Code Activity

symbol/zstring transition

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2021-05-22 13:54:21 -07:00
parent 20a67e47ca
commit 262daf5151
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ast/seq_decl_plugin.cpp
View file

@ -503,7 +503,7 @@ func_decl * seq_decl_plugin::mk_func_decl(decl_kind k, unsigned num_parameters,
if (!(num_parameters == 1 && parameters[0].is_int())) if (!(num_parameters == 1 && parameters[0].is_int()))
m.raise_exception("character literal expects integer parameter"); m.raise_exception("character literal expects integer parameter");
zstring zs(parameters[0].get_int()); zstring zs(parameters[0].get_int());
parameter p(zs.encode()); parameter p(zs);
return m.mk_const_decl(m_stringc_sym, m_string,func_decl_info(m_family_id, OP_STRING_CONST, 1, &p)); return m.mk_const_decl(m_stringc_sym, m_string,func_decl_info(m_family_id, OP_STRING_CONST, 1, &p));
} }