From cb7df4617538e38758c9c81eca9cf40d6d155056 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 16 Apr 2007 16:04:10 +0000
Subject: [PATCH] Typo in simulator GUI.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@265 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/userinterface/simulator/GUISimulator.form | 2 +-
 prism/src/userinterface/simulator/GUISimulator.java | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/prism/src/userinterface/simulator/GUISimulator.form b/prism/src/userinterface/simulator/GUISimulator.form
index 9b866750..ce68b39e 100644
--- a/prism/src/userinterface/simulator/GUISimulator.form
+++ b/prism/src/userinterface/simulator/GUISimulator.form
@@ -922,7 +922,7 @@
                                             <Component class="javax.swing.JCheckBox" name="autoTimeCheck">
                                               <Properties>
                                                 <Property name="text" type="java.lang.String" value="Generate time automatically"/>
-                                                <Property name="toolTipText" type="java.lang.String" value="When not selected, you will be promted to manually enter the time spent in states"/>
+                                                <Property name="toolTipText" type="java.lang.String" value="When not selected, you will be prompted to manually enter the time spent in states"/>
                                                 <Property name="border" type="javax.swing.border.Border" editor="org.netbeans.modules.form.editors2.BorderEditor">
                                                   <Border info="org.netbeans.modules.form.compat2.border.EmptyBorderInfo">
                                                     <EmptyBorder bottom="0" left="0" right="0" top="0"/>
diff --git a/prism/src/userinterface/simulator/GUISimulator.java b/prism/src/userinterface/simulator/GUISimulator.java
index 7814d63f..3efbccd4 100644
--- a/prism/src/userinterface/simulator/GUISimulator.java
+++ b/prism/src/userinterface/simulator/GUISimulator.java
@@ -1390,7 +1390,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
 
         autoTimeCheckPanel.setBorder(javax.swing.BorderFactory.createEmptyBorder(5, 0, 0, 0));
         autoTimeCheck.setText("Generate time automatically");
-        autoTimeCheck.setToolTipText("When not selected, you will be promted to manually enter the time spent in states");
+        autoTimeCheck.setToolTipText("When not selected, you will be prompted to manually enter the time spent in states");
         autoTimeCheck.setBorder(javax.swing.BorderFactory.createEmptyBorder(0, 0, 0, 0));
         autoTimeCheck.setHorizontalAlignment(javax.swing.SwingConstants.RIGHT);
         autoTimeCheck.setMargin(new java.awt.Insets(0, 0, 0, 0));