fix #5906

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Mar 20, 2022 · f053daa · f053daa
1 parent bbb2777
commit f053daa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/muz/rel/dl_mk_simple_joins.cpp b/src/muz/rel/dl_mk_simple_joins.cpp
@@ -370,7 +370,7 @@ namespace datalog {
             rule * one_parent = inf.m_rules.back();
 
             func_decl* parent_head = one_parent->get_decl();
-            const char * one_parent_name = parent_head->get_name().bare_str();
+            std::string one_parent_name = parent_head->get_name().str();
             std::string parent_name;
             if (inf.m_rules.size() > 1) {
                 parent_name = one_parent_name + std::string("_and_") + to_string(inf.m_rules.size()-1);