Index: src/ControlStruct/ExceptTranslate.cc
===================================================================
--- src/ControlStruct/ExceptTranslate.cc	(revision 7119daab4c6a4a3c0fec568a2afb296ccf53baac)
+++ src/ControlStruct/ExceptTranslate.cc	(revision c19bc90112fb552e6efe8c9bc93732c41f0734b7)
@@ -10,6 +10,6 @@
 // Created On       : Wed Jun 14 16:49:00 2017
 // Last Modified By : Andrew Beach
-// Last Modified On : Thr May 21 13:18:00 2020
-// Update Count     : 15
+// Last Modified On : Tue May 26 10:56:00 2020
+// Update Count     : 16
 //
 
@@ -134,10 +134,7 @@
 		ObjectDecl * decl = dynamic_cast<ObjectDecl *>( catchStmt->get_decl() );
 		// Also checking the type would be nice.
-		if ( decl ) {
-			// Pass.
-		} else if ( CatchStmt::Terminate == catchStmt->get_kind() ) {
-			SemanticError(catchStmt->location, "catch must have exception type");
-		} else {
-			SemanticError(catchStmt->location, "catchResume must have exception type");
+		if ( !decl || !dynamic_cast<PointerType *>( decl->type ) ) {
+			std::string kind = (CatchStmt::Terminate == catchStmt->kind) ? "catch" : "catchResume";
+			SemanticError( catchStmt->location, kind + " must have pointer to an exception type" );
 		}