Comment clarification.

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

prism/src/prism/Prism.java

@@ -3332,10 +3332,11 @@ public class Prism extends PrismComponent implements PrismSettingsListener
 			// print out or export probabilities
 			if (probs != null)
 				probs.print(tmpLog, fileOut == null, exportType == EXPORT_MATLAB, fileOut == null);
-			else if( settings.getString(PrismSettings.PRISM_TRANSIENT_METHOD).equals("Fast adaptive uniformisation") ){
-				probsExpl.print(tmpLog, fileOut == null, exportType == EXPORT_MATLAB, true, false);
-			} else {
+			else if (!settings.getString(PrismSettings.PRISM_TRANSIENT_METHOD).equals("Fast adaptive uniformisation")) {
 				probsExpl.print(tmpLog, fileOut == null, exportType == EXPORT_MATLAB, fileOut == null, true);
+			} else {
+				// If full state space not computed, don't print vectors and always show states
+				probsExpl.print(tmpLog, fileOut == null, exportType == EXPORT_MATLAB, true, false);
 			}
 
 			// print out computation time