Changes in src/ResolvExpr/Resolver.cc [a436947:71a145de]

File:

• src/ResolvExpr/Resolver.cc (modified) (1 diff)

src/ResolvExpr/Resolver.cc

@@ -503 +503 @@
                 delete ctorInit->get_ctor();
                 ctorInit->set_ctor( NULL );
+                delete ctorInit->get_dtor();
+                ctorInit->set_dtor( NULL );
                 maybeAccept( ctorInit->get_init(), *this );
         }