Index: src/ResolvExpr/SatisfyAssertions.cpp
===================================================================
--- src/ResolvExpr/SatisfyAssertions.cpp	(revision 115ac1ce0d47f2436e81df2b549cc72511998c84)
+++ src/ResolvExpr/SatisfyAssertions.cpp	(revision f06ba98c491d342c3a0baffcf9e96cf93c226db9)
@@ -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." );
 	}
 }