From 0f864486eedf2a92b82cc55c72ad1d7021f2a2e3 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 23 Mar 2006 09:32:46 +0000 Subject: [PATCH] GUI simulator typo. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@32 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 9de65ef0..07144e89 100644 --- a/prism/src/userinterface/simulator/GUISimulator.java +++ b/prism/src/userinterface/simulator/GUISimulator.java @@ -2646,7 +2646,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect else return "Prob."; } - case 2: return "Updates"; + case 2: return "Update"; default: return ""; } }