Index: src/ResolvExpr/Resolver.cc
===================================================================
--- src/ResolvExpr/Resolver.cc	(revision 6242335009c5d2ebee1bb50d1d228f5aacb0e5bd)
+++ src/ResolvExpr/Resolver.cc	(revision a4b3525b6d09c48f128de8cc65c7c83e671ed7b3)
@@ -386,5 +386,5 @@
 		// discard InitExpr wrapper and retain relevant pieces
 		newExpr = initExpr->get_expr();
-		singleInit->get_value()->set_env( initExpr->get_env() );
+		newExpr->set_env( initExpr->get_env() );
 		initExpr->set_expr( nullptr );
 		initExpr->set_env( nullptr );