GUI simulator typo.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@32 bbc10eb1-c90d-0410-af57-cb519fbb1720
20 years ago · 0f864486ee
1 changed files with 1 additions and 1 deletions
--- 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 "";
 				}
 			}