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

@@ -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"/>

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));