mtbdd/PM_NondetInstReward.cc: comment typo

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11540 bbc10eb1-c90d-0410-af57-cb519fbb1720
10 years ago · 1621fb31c7
1 changed files with 1 additions and 1 deletions
--- a/prism/src/mtbdd/PM_NondetInstReward.cc
+++ b/prism/src/mtbdd/PM_NondetInstReward.cc
@ -95,7 +95,7 @@ jlong __jlongpointer in
 	iters = 0;
 	PM_PrintToMainLog(env, "\nStarting iterations...\n");
 	
-	// note that we ignore max_iters as we know how any iterations _should_ be performed
+	// note that we ignore max_iters as we know how many iterations _should_ be performed
 	for (iters = 0; iters < bound; iters++) {
 		
 		// matrix-vector multiply