From 1a7dfeaa366a323d1be4a456ce7a4f991ea051e7 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 21 Dec 2020 08:30:55 +0000
Subject: [PATCH] Fix in explicit.StateValues printing ("none" not "zero" when
 empty list).

---
 prism/src/explicit/StateValues.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/explicit/StateValues.java b/prism/src/explicit/StateValues.java
index a75b6268..af911732 100644
--- a/prism/src/explicit/StateValues.java
+++ b/prism/src/explicit/StateValues.java
@@ -1712,7 +1712,7 @@ public class StateValues implements StateVector
 
 		// Check if all zero
 		if (printSparse && !printMatlab && count == 0) {
-			log.println("(all zero)");
+			log.println(type == TypeBool.getInstance() ? "(none)" : "(all zero)");
 			return;
 		}