From df8c99805d3326442b267a72c5da8e339de9e0e0 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 22 Nov 2007 14:52:06 +0000 Subject: [PATCH] Fix for hybrid GS bug introduced during previous "fix" at rev 504. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@530 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/hybrid/PH_SOR.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/src/hybrid/PH_SOR.cc b/prism/src/hybrid/PH_SOR.cc index e8954c61..67a28e3f 100644 --- a/prism/src/hybrid/PH_SOR.cc +++ b/prism/src/hybrid/PH_SOR.cc @@ -325,8 +325,8 @@ jboolean fwds // forwards or backwards? } // if we never found a diagonal block (because it is empty and so not there), - // then we do the stuff that should have been sone after the processing of the diagonal block - for (i2 = 0; i2 < h2; i2++) { + // then we do the stuff that should have been done after the processing of the diagonal block + if (!l_b_max && !diag_done) for (i2 = 0; i2 < h2; i2++) { // divide by diagonal if (!compact_d) { soln2[i2] *= diags_vec[row_offset + i2];