symbol/zstring transition

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · May 22, 2021 · 262daf5 · 262daf5
1 parent 20a67e4
commit 262daf5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ast/seq_decl_plugin.cpp b/src/ast/seq_decl_plugin.cpp
@@ -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())) 
             m.raise_exception("character literal expects integer parameter");
         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));
     }