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