diff --git a/prism/src/explicit/StateValues.java b/prism/src/explicit/StateValues.java
index 3a097c9a..94bde58e 100644
--- a/prism/src/explicit/StateValues.java
+++ b/prism/src/explicit/StateValues.java
@@ -1722,4 +1722,9 @@ public class StateValues implements StateVector
 		sv.statesList = statesList;
 		return sv;
 	}
+
+	/** Returns the type of this StateValues object. */
+	public Type getType() {
+		return type;
+	}
 }