From c0e99cea6b272b20f869478bd01e393ef6bc54b1 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 1 Dec 2016 13:31:30 +0000
Subject: [PATCH] Error message typo.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11913 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 59a53c54..bcd79a16 100644
--- a/prism/src/userinterface/simulator/GUISimulator.java
+++ b/prism/src/userinterface/simulator/GUISimulator.java
@@ -413,7 +413,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
 			// check here for possibility of multiple initial states
 			// (not supported yet) to avoid problems below
 			if (parsedModel.getInitialStates() != null) {
-				throw new PrismException("The simulator does not not yet handle models with multiple states");
+				throw new PrismException("The simulator does not yet handle models with multiple initial states");
 			}
 
 			// do we need to ask for an initial state for simulation?