Index: src/ControlStruct/ExceptTranslate.cc
===================================================================
--- src/ControlStruct/ExceptTranslate.cc	(revision 35a2d473b8e7af16f2daddd2cc694ada6023b28f)
+++ src/ControlStruct/ExceptTranslate.cc	(revision d76c588058daa6269114595a571223a110ced0ab)
@@ -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;
 			}
 		}