Index: src/ControlStruct/ExceptTranslate.cc
===================================================================
--- src/ControlStruct/ExceptTranslate.cc	(revision ad0be81733371b9a8190b6b92c4a8457cf5f4801)
+++ src/ControlStruct/ExceptTranslate.cc	(revision f73f5f4a43b47e13dccd89c1a9c48780a30c1986)
@@ -10,6 +10,6 @@
 // Created On       : Wed Jun 14 16:49:00 2017
 // Last Modified By : Andrew Beach
-// Last Modified On : Fri Jun 30 13:30:00 2017
-// Update Count     : 1
+// Last Modified On : Tus Jul 11 16:33:00 2017
+// Update Count     : 2
 //
 
@@ -157,5 +157,5 @@
 	Statement * create_terminate_throw( ThrowStmt *throwStmt ) {
 		// { int NAME = EXPR; __throw_terminate( &NAME ); }
-		return create_given_throw( "__cfaehm__throw_termination", throwStmt );
+		return create_given_throw( "__cfaehm__throw_terminate", throwStmt );
 	}
 	Statement * create_terminate_rethrow( ThrowStmt *throwStmt ) {
@@ -164,5 +164,5 @@
 		Statement * result = new ExprStmt(
 			throwStmt->get_labels(),
-			new UntypedExpr( new NameExpr( "__cfaehm__rethrow_termination" ) )
+			new UntypedExpr( new NameExpr( "__cfaehm__rethrow_terminate" ) )
 			);
 		delete throwStmt;
@@ -171,5 +171,5 @@
 	Statement * create_resume_throw( ThrowStmt *throwStmt ) {
 		// __throw_resume( EXPR );
-		return create_given_throw( "__cfaehm__throw_resumption", throwStmt );
+		return create_given_throw( "__cfaehm__throw_resume", throwStmt );
 	}
 	Statement * create_resume_rethrow( ThrowStmt *throwStmt ) {