Index: src/ResolvExpr/Resolver.cc
===================================================================
--- src/ResolvExpr/Resolver.cc	(revision 23b6f4d7b77939970c646de6c3e77324af89e70c)
+++ src/ResolvExpr/Resolver.cc	(revision 71a145de5bcbf8c7e9f1fd14beb7458d90bb060d)
@@ -503,4 +503,6 @@
 		delete ctorInit->get_ctor();
 		ctorInit->set_ctor( NULL );
+		delete ctorInit->get_dtor();
+		ctorInit->set_dtor( NULL );
 		maybeAccept( ctorInit->get_init(), *this );
 	}