Index: src/ResolvExpr/AlternativeFinder.cc
===================================================================
--- src/ResolvExpr/AlternativeFinder.cc	(revision 9d5089e3f418f8ae4795697294bf00b26fc226a7)
+++ src/ResolvExpr/AlternativeFinder.cc	(revision 2f98fb27b70bc49edf043bbbc1d2c2a23dbc02b8)
@@ -56,10 +56,4 @@
 #define PRINT( text ) if ( resolvep ) { text }
 //#define DEBUG_COST
-
-using std::move;
-
-/// copies any copyable type
-template<typename T>
-T copy(const T& x) { return x; }
 
 namespace ResolvExpr {