Index: src/Validate/ReplaceTypedef.cpp
===================================================================
--- src/Validate/ReplaceTypedef.cpp	(revision b1f2007d03a9290ff9a472f7132714791f65e6b4)
+++ src/Validate/ReplaceTypedef.cpp	(revision 19a289084759dbc983b9a66dc1bfb95c551b32cb)
@@ -10,6 +10,6 @@
 // Created On       : Tue Jun 29 14:59:00 2022
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Mon Nov 27 08:55:06 2023
-// Update Count     : 3
+// Last Modified On : Thu Dec 14 16:11:51 2023
+// Update Count     : 4
 //
 
@@ -152,5 +152,5 @@
 				|| ast::Pass<VarLenChecker>::read( t0 )
 				|| ast::Pass<VarLenChecker>::read( t1 ) ) {
-			SemanticError( decl->location, "Cannot redefine typedef: " + decl->name );
+			SemanticError( decl->location, "Cannot redefine typedef %s", decl->name.c_str() );
 		}
 	} else {