Index: src/ControlStruct/ExceptTranslate.cc
===================================================================
--- src/ControlStruct/ExceptTranslate.cc	(revision ee3c93d9425378dba13f5e7407f9097ac9d1cbb8)
+++ src/ControlStruct/ExceptTranslate.cc	(revision d5916ce34e5508e6ffe903e16992dee102292838)
@@ -319,6 +319,6 @@
 			}
 
-			block->push_back( handler->get_body() );
-			handler->set_body( nullptr );
+			block->push_back( handler->body );
+			handler->body = nullptr;
 
 			std::list<Statement *> caseBody