From 76119e3a087dc04292553980fabec689f6230084 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 6 Sep 2011 17:12:51 +0000 Subject: [PATCH] Fix bug in experiments (introduced in recent const improvements) (schoolboy error). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3598 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/PrismCL.java | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java index 39ba4df4..846d9106 100644 --- a/prism/src/prism/PrismCL.java +++ b/prism/src/prism/PrismCL.java @@ -241,8 +241,8 @@ public class PrismCL } // iterate to next model undefinedMFConstants.iterateModel(); - for (i = 0; i < numPropertiesToCheck; i++) { - undefinedConstants[i].iterateModel(); + for (j = 0; j < numPropertiesToCheck; j++) { + undefinedConstants[j].iterateModel(); } continue; } @@ -259,8 +259,8 @@ public class PrismCL } // iterate to next model undefinedMFConstants.iterateModel(); - for (i = 0; i < numPropertiesToCheck; i++) { - undefinedConstants[i].iterateModel(); + for (j = 0; j < numPropertiesToCheck; j++) { + undefinedConstants[j].iterateModel(); } continue; } @@ -301,8 +301,8 @@ public class PrismCL } // iterate to next model undefinedMFConstants.iterateModel(); - for (i = 0; i < numPropertiesToCheck; i++) { - undefinedConstants[i].iterateModel(); + for (j = 0; j < numPropertiesToCheck; j++) { + undefinedConstants[j].iterateModel(); } continue; } @@ -483,8 +483,8 @@ public class PrismCL // iterate to next model undefinedMFConstants.iterateModel(); - for (i = 0; i < numPropertiesToCheck; i++) { - undefinedConstants[i].iterateModel(); + for (j = 0; j < numPropertiesToCheck; j++) { + undefinedConstants[j].iterateModel(); } }