diff --git a/prism/src/userinterface/simulator/GUISimulator.java b/prism/src/userinterface/simulator/GUISimulator.java index 11833a3a..4856c274 100644 --- a/prism/src/userinterface/simulator/GUISimulator.java +++ b/prism/src/userinterface/simulator/GUISimulator.java @@ -2608,7 +2608,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect { stepsVisible = true; showTime = parsedModel.getType() == ModulesFile.STOCHASTIC; - showCumulativeTime = false; + showCumulativeTime = parsedModel.getType() == ModulesFile.STOCHASTIC;; for (int i = 0; i < engine.getNumVariables(); i++) {