Comments

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4751 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/explicit/StateModelChecker.java

@@ -646,7 +646,7 @@ public class StateModelChecker
 					vals.printFiltered(mainLog, bsFilter, false, false, true, true);
 				}
 			}
-			// Result vector is unchanged; for ARGMIN, don't store a single value (in resObj)
+			// Result vector is unchanged; for PRINT/PRINTALL, don't store a single value (in resObj)
 			// Also, don't bother with explanation string
 			resVals = vals;
 			// Set vals to null to stop it being cleared below

prism/src/prism/StateModelChecker.java

@@ -1071,7 +1071,7 @@ public class StateModelChecker implements ModelChecker
 					vals.printFiltered(mainLog, ddFilter, false, false, true);
 				}
 			}
-			// Result vector is unchanged; for PRINT, don't store a single value (in resObj)
+			// Result vector is unchanged; for PRINT/PRINTALL, don't store a single value (in resObj)
 			// Also, don't bother with explanation string
 			resVals = vals;
 			// Set vals to null to stop it being cleared below