Changes in src/ResolvExpr/Alternative.cc [bd4f2e9:50377a4]

File:

• src/ResolvExpr/Alternative.cc (modified) (2 diffs)

src/ResolvExpr/Alternative.cc

@@ -18 +18 @@
 #include <ostream>                       // for operator<<, ostream, basic_o...
 #include <string>                        // for operator<<, char_traits, string
-#include <utility>                       // for move
 
 #include "Common/utility.h"              // for maybeClone
@@ -82 +81 @@
                 os << std::endl;
         }
-
-        void splice( AltList& dst, AltList& src ) {
-                dst.reserve( dst.size() + src.size() );
-                for ( Alternative& alt : src ) {
-                        dst.push_back( std::move(alt) );
-                }
-                src.clear();
-        }
-
-        void spliceBegin( AltList& dst, AltList& src ) {
-                splice( src, dst );
-                dst.swap( src );
-        }
-
 } // namespace ResolvExpr