Index: src/Parser/parser.yy
===================================================================
--- src/Parser/parser.yy	(revision 89da3a994f3a8944d318eebe5bbac3ced5d87f37)
+++ src/Parser/parser.yy	(revision 35897fb34306b8aedf6e4f502519debba8b7ec7b)
@@ -10,6 +10,6 @@
 // Created On       : Sat Sep  1 20:22:55 2001
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue Apr 23 15:39:29 2024
-// Update Count     : 6620
+// Last Modified On : Sat Apr 27 16:23:14 2024
+// Update Count     : 6625
 //
 
@@ -1698,5 +1698,5 @@
 
 with_statement:
-	WITH '(' tuple_expression_list ')' statement
+	WITH '(' type_list ')' statement					// support scoped enumeration
 		{ $$ = new StatementNode( build_with( yylloc, $3, $5 ) ); }
 	;
@@ -3359,5 +3359,5 @@
 	// empty
 		{ $$ = nullptr; forall = false; }
-	| WITH '(' tuple_expression_list ')' attribute_list_opt
+	| WITH '(' type_list ')' attribute_list_opt			// support scoped enumeration
 		{
 			$$ = $3; forall = false;