Index: src/ControlStruct/ExceptTranslate.cc
===================================================================
--- src/ControlStruct/ExceptTranslate.cc	(revision 35a2d473b8e7af16f2daddd2cc694ada6023b28f)
+++ src/ControlStruct/ExceptTranslate.cc	(revision 6a625dec0f64e84a53f9f54b9e3e180ce6265463)
@@ -617,8 +617,7 @@
 				return create_terminate_rethrow( throwStmt );
 			} else {
-				assertf(false, "Invalid throw in %s at %i\n",
+				abort("Invalid throw in %s at %i\n",
 					throwStmt->location.filename.c_str(),
 					throwStmt->location.first_line);
-				return nullptr;
 			}
 		} else {
@@ -628,8 +627,7 @@
 				return create_resume_rethrow( throwStmt );
 			} else {
-				assertf(false, "Invalid throwResume in %s at %i\n",
+				abort("Invalid throwResume in %s at %i\n",
 					throwStmt->location.filename.c_str(),
 					throwStmt->location.first_line);
-				return nullptr;
 			}
 		}