From b2f835545c136a9e9ac4be030e3e001259bda368 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Thu, 8 Mar 2018 12:48:20 +0100 Subject: [PATCH] PS_NondetUntilInterval.cc: doc fix --- prism/src/sparse/PS_NondetUntilInterval.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/sparse/PS_NondetUntilInterval.cc b/prism/src/sparse/PS_NondetUntilInterval.cc index 91c954c8..ff41923f 100644 --- a/prism/src/sparse/PS_NondetUntilInterval.cc +++ b/prism/src/sparse/PS_NondetUntilInterval.cc @@ -312,7 +312,7 @@ jint flags helper.updateValueFromBelow(soln_below2[i], soln_below[i], (h1 > l1) ? d1 : yes_vec[i]); } - // do matrix multiplication and min/max for above, optionally generate adversary + // do matrix multiplication and min/max for above (don't generate adversary, done above in "from below" iteration) h1 = h2 = 0; for (i = 0; i < n; i++) { d1 = 0.0; // initial value doesn't matter