diff --git a/prism/src/explicit/STPG.java b/prism/src/explicit/STPG.java index 087c9188..621c5243 100644 --- a/prism/src/explicit/STPG.java +++ b/prism/src/explicit/STPG.java @@ -640,6 +640,7 @@ public class STPG extends Model { String s = ""; s += numStates + " states"; + s += " (" + getNumInitialStates() + " initial)"; s += ", " + numDistrSets + " distribution sets"; s += ", " + numDistrs + " distributions"; s += ", " + numTransitions + " transitions";