Index: src/ResolvExpr/SatisfyAssertions.cpp
===================================================================
--- src/ResolvExpr/SatisfyAssertions.cpp	(revision 8236f00e7c536ffa44a7ba09aa5090d95344124a)
+++ src/ResolvExpr/SatisfyAssertions.cpp	(revision 39ffa5e134a180ed0450785d9712d55c8f10036a)
@@ -10,6 +10,6 @@
 // Created On       : Mon Jun 10 17:45:00 2019
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue Jul  2 18:15:51 2024
-// Update Count     : 5
+// Last Modified On : Thu Jul 31 18:04:31 2025
+// Update Count     : 6
 //
 
@@ -456,5 +456,5 @@
 			// should a limit be imposed? worst case here is O(n^2) but very unlikely to happen.
 
-			for (unsigned resetCount = 0; ; ++resetCount) {
+			for ( ;; ) {
 				ast::AssertionList next;
 				// make initial pass at matching assertions
@@ -475,5 +475,4 @@
 					} else if ( result == AssertionResult::Skip ) {
 						next.emplace_back(assn);
-						// goto nextSat;
 					}
 				}