Index: src/GenPoly/GenPoly.cc
===================================================================
--- src/GenPoly/GenPoly.cc	(revision 68f9c43ecf1873cbb5f06aee682704b56612ed16)
+++ src/GenPoly/GenPoly.cc	(revision 8d7bef249652cc2b9854c7090c758bcd9ad9f613)
@@ -437,5 +437,4 @@
 		Type * newType = arg->clone();
 		if ( env ) env->apply( newType );
-		std::unique_ptr<Type> manager( newType );
 		// if the argument's type is polymorphic, we don't need to box again!
 		return ! isPolyType( newType );
Index: src/GenPoly/Specialize.cc
===================================================================
--- src/GenPoly/Specialize.cc	(revision 68f9c43ecf1873cbb5f06aee682704b56612ed16)
+++ src/GenPoly/Specialize.cc	(revision 8d7bef249652cc2b9854c7090c758bcd9ad9f613)
@@ -17,5 +17,4 @@
 #include <iterator>                      // for back_insert_iterator, back_i...
 #include <map>                           // for _Rb_tree_iterator, _Rb_tree_...
-#include <memory>                        // for unique_ptr
 #include <string>                        // for string
 #include <tuple>                         // for get
@@ -225,5 +224,4 @@
 			env->apply( actualType );
 		}
-		std::unique_ptr< FunctionType > actualTypeManager( actualType ); // for RAII
 		std::list< DeclarationWithType * >::iterator actualBegin = actualType->get_parameters().begin();
 		std::list< DeclarationWithType * >::iterator actualEnd = actualType->get_parameters().end();