From d19167bf633996c8d965874ac1c8a32c50b44d23 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 18 May 2011 10:22:22 +0000
Subject: [PATCH] Bug fix: Column headings in GUI simulator for CTMCs (spotted
 by Dave Musliner).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2928 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/userinterface/simulator/GUISimulator.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/userinterface/simulator/GUISimulator.java b/prism/src/userinterface/simulator/GUISimulator.java
index c34fe539..15bf689d 100644
--- a/prism/src/userinterface/simulator/GUISimulator.java
+++ b/prism/src/userinterface/simulator/GUISimulator.java
@@ -2874,7 +2874,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
 		{
 			int stepStart = 0;
 			int timeStart = stepStart + (view.showActions() ? 1 : 0) + (view.showSteps() ? 1 : 0);
-			int varStart = timeStart + (view.canShowTime() && view.showTime() ? 1 : 0) + (view.showCumulativeTime() && view.showTime() ? 1 : 0);
+			int varStart = timeStart + (view.canShowTime() && view.showCumulativeTime() ? 1 : 0) + (view.canShowTime() && view.showTime() ? 1 : 0);
 			int rewardStart = varStart + view.getVisibleVariables().size();
 
 			int groupCount = 0;