Index: src/ResolvExpr/SatisfyAssertions.cpp
===================================================================
--- src/ResolvExpr/SatisfyAssertions.cpp	(revision 73d0e3f4e0ab67804cda0bdfa2660e3905620544)
+++ src/ResolvExpr/SatisfyAssertions.cpp	(revision 597f28439bb7a7c7930eaafb31d0f41a67c2fd6c)
@@ -9,7 +9,7 @@
 // Author           : Aaron B. Moss
 // Created On       : Mon Jun 10 17:45:00 2019
-// Last Modified By : Andrew Beach
-// Last Modified On : Tue Oct  1 13:56:00 2019
-// Update Count     : 2
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Tue Jul  2 18:15:51 2024
+// Update Count     : 5
 //
 
@@ -575,5 +575,5 @@
 	// exceeded recursion limit if reaches here
 	if ( out.empty() ) {
-		SemanticError( cand->expr->location, "Too many recursive assertions" );
+		SemanticError( cand->expr->location, "Too many recursive assertions, possible cause is circular relationship between a forall assertion and defined function prototype." );
 	}
 }