Remove unnecessary move constructors for case/body expansion.

Suggested by @nunoplopes.
Z3Prover · Dec 15, 2023 · 6c6fddd · 6c6fddd
1 parent 29f476e
commit 6c6fddd
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 7 deletions.
diff --git a/src/ast/recfun_decl_plugin.cpp b/src/ast/recfun_decl_plugin.cpp
@@ -606,10 +606,6 @@ namespace recfun {
         : m_lhs(from.m_lhs),
           m_def(from.m_def),
           m_args(from.m_args) {}
-    case_expansion::case_expansion(case_expansion && from) noexcept
-        : m_lhs(from.m_lhs),
-          m_def(from.m_def),
-          m_args(std::move(from.m_args)) {}
 
     std::ostream& case_expansion::display(std::ostream & out) const {
         return out << "case_exp(" << m_lhs << ")";

diff --git a/src/ast/recfun_decl_plugin.h b/src/ast/recfun_decl_plugin.h
@@ -302,7 +302,6 @@ namespace recfun {
         expr_ref_vector     m_args;
         case_expansion(recfun::util& u, app * n);
         case_expansion(case_expansion const & from);
-        case_expansion(case_expansion && from) noexcept;
         std::ostream& display(std::ostream& out) const;
     };
 
@@ -325,8 +324,6 @@ namespace recfun {
             m_pred(pred), m_cdef(&d), m_args(args) {}
         body_expansion(body_expansion const & from): 
             m_pred(from.m_pred), m_cdef(from.m_cdef), m_args(from.m_args) {}
-        body_expansion(body_expansion && from) noexcept :
-            m_pred(from.m_pred), m_cdef(from.m_cdef), m_args(std::move(from.m_args)) {}
 
         std::ostream& display(std::ostream& out) const;
     };