From 1621fb31c777289434ff7924fc92770dd4fcd9f9 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Thu, 21 Jul 2016 13:26:54 +0000 Subject: [PATCH] mtbdd/PM_NondetInstReward.cc: comment typo git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11540 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/mtbdd/PM_NondetInstReward.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/mtbdd/PM_NondetInstReward.cc b/prism/src/mtbdd/PM_NondetInstReward.cc index 43b3c6d1..c3991db8 100644 --- 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