Index: tests/concurrency/examples/datingService.cfa
===================================================================
--- tests/concurrency/examples/datingService.cfa	(revision 10b5970650e2ff3d8e757dd5c91889d466e44fe0)
+++ tests/concurrency/examples/datingService.cfa	(revision b6de35ec789adbc02c9c90ec2de52be7f841fd58)
@@ -10,6 +10,6 @@
 // Created On       : Mon Oct 30 12:56:20 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sun Sep 27 15:42:25 2020
-// Update Count     : 40
+// Last Modified On : Tue Nov  4 21:58:29 2025
+// Update Count     : 41
 //
 
@@ -28,5 +28,5 @@
 
 unsigned int girl( DatingService & mutex ds, unsigned int PhoneNo, unsigned int ccode ) with( ds ) {
-	if ( is_empty( Boys[ccode] ) ) {					// no compatible boy ?
+	if ( empty( Boys[ccode] ) ) {						// no compatible boy ?
 		wait( Girls[ccode] );							// wait for boy
 		GirlPhoneNo = PhoneNo;							// make phone number available
@@ -40,5 +40,5 @@
 
 unsigned int boy( DatingService & mutex ds, unsigned int PhoneNo, unsigned int ccode ) with( ds ) {
-	if ( is_empty( Girls[ccode] ) ) {					// no compatible girl ?
+	if ( empty( Girls[ccode] ) ) {						// no compatible girl ?
 		wait( Boys[ccode] );							// wait for girl
 		BoyPhoneNo = PhoneNo;							// make phone number available