Index: src/ControlStruct/MultiLevelExit.cpp
===================================================================
--- src/ControlStruct/MultiLevelExit.cpp	(revision 142930b11bb7a219dee95933e7dd70643b471d38)
+++ src/ControlStruct/MultiLevelExit.cpp	(revision ca9d65e54b7ed187b75dfe016b8d4e2debd19fa4)
@@ -10,6 +10,6 @@
 // Created On       : Mon Nov  1 13:48:00 2021
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Mon Dec 11 13:44:45 2023
-// Update Count     : 38
+// Last Modified On : Thu Dec 14 17:34:12 2023
+// Update Count     : 39
 //
 
@@ -254,5 +254,5 @@
 				if ( enclosing_control_structures.empty() ) {
 					  SemanticError( stmt->location,
-									 "'break' outside a loop, 'switch', or labelled block" );
+									 "\"break\" outside a loop, \"switch\", or labelled block" );
 				}
 				targetEntry = findEnclosingControlStructure( isBreakTarget );
@@ -268,5 +268,5 @@
 		// Ensure that selected target is valid.
 		if ( targetEntry == enclosing_control_structures.rend() || ( isContinue && ! isContinueTarget( *targetEntry ) ) ) {
-			SemanticError( stmt->location, toString( (isContinue ? "'continue'" : "'break'"),
+			SemanticError( stmt->location, toString( (isContinue ? "\"continue\"" : "\"break\""),
 							" target must be an enclosing ", (isContinue ? "loop: " : "control structure: "),
 							stmt->originalTarget ) );
@@ -279,10 +279,10 @@
 		// Check that target is valid.
 		if ( targetEntry == enclosing_control_structures.rend() ) {
-			SemanticError( stmt->location, "'fallthrough' must be enclosed in a 'switch' or 'choose'" );
+			SemanticError( stmt->location, "\"fallthrough\" must be enclosed in a \"switch\" or \"choose\"" );
 		}
 		if ( ! stmt->target.empty() ) {
 			// Labelled fallthrough: target must be a valid fallthough label.
 			if ( ! fallthrough_labels.count( stmt->target ) ) {
-				SemanticError( stmt->location, toString( "'fallthrough' target must be a later case statement: ",
+				SemanticError( stmt->location, toString( "\"fallthrough\" target must be a later case statement: ",
 														   stmt->originalTarget ) );
 			}
@@ -296,5 +296,5 @@
 		// Check if in switch or choose statement.
 		if ( targetEntry == enclosing_control_structures.rend() ) {
-			SemanticError( stmt->location, "'fallthrough' must be enclosed in a 'switch' or 'choose'" );
+			SemanticError( stmt->location, "\"fallthrough\" must be enclosed in a \"switch\" or \"choose\"" );
 		}
 
@@ -309,6 +309,6 @@
 		}
 		if ( ! foundDefault ) {
-			SemanticError( stmt->location, "'fallthrough default' must be enclosed in a 'switch' or 'choose'"
-						   "control structure with a 'default' clause" );
+			SemanticError( stmt->location, "\"fallthrough default\" must be enclosed in a \"switch\" or \"choose\""
+						   "control structure with a \"default\" clause" );
 		}
 		break;
@@ -338,5 +338,5 @@
 		// Check that fallthrough default comes before the default clause.
 		if ( ! targetEntry->isFallDefaultValid() ) {
-			SemanticError( stmt->location, "'fallthrough default' must precede the 'default' clause" );
+			SemanticError( stmt->location, "\"fallthrough default\" must precede the \"default\" clause" );
 		}
 		break;
@@ -521,5 +521,5 @@
 		assert(0);
 	}
-	SemanticError( stmt->location, "'return' may not appear in a %s", context );
+	SemanticError( stmt->location, "\"return\" may not appear in a %s", context );
 }