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 ""; } }