Index: src/ControlStruct/ExceptTranslate.cc
===================================================================
--- src/ControlStruct/ExceptTranslate.cc	(revision 6a625dec0f64e84a53f9f54b9e3e180ce6265463)
+++ src/ControlStruct/ExceptTranslate.cc	(revision d88f8b3b78a378191ec01bdeee75e6703bc0cc66)
@@ -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