diff --git a/src/util/log_tree.cpp b/src/util/log_tree.cpp index aa94518ad6..3ec4ac01d7 100644 --- a/src/util/log_tree.cpp +++ b/src/util/log_tree.cpp @@ -125,7 +125,7 @@ log_tree::node log_tree::node::mk_child(name n, std::string const & description, child.m_ptr->m_detached = m_ptr->m_detached; } child.m_ptr->m_detail_level = std::max(m_ptr->m_detail_level, lvl); - child.m_ptr->m_description = description; + child.m_ptr->m_description = description.empty() ? m_ptr->m_description : description; child.m_ptr->m_location = loc; m_ptr->m_children.insert(n, child);