From 2448a357ac8296081bcb941ff87839ea89d144c0 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Wed, 2 Jul 2014 11:28:37 +0200
Subject: [PATCH] fix error message

---
 .../src/de/prob/core/command/FindValidStateCommand.java     | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/de.prob.core/src/de/prob/core/command/FindValidStateCommand.java b/de.prob.core/src/de/prob/core/command/FindValidStateCommand.java
index 7fa2cff9..8a76cf28 100644
--- a/de.prob.core/src/de/prob/core/command/FindValidStateCommand.java
+++ b/de.prob.core/src/de/prob/core/command/FindValidStateCommand.java
@@ -7,8 +7,7 @@ import de.prob.core.LanguageDependendAnimationPart;
 import de.prob.core.domainobjects.Operation;
 import de.prob.parser.ISimplifiedROMap;
 import de.prob.prolog.output.IPrologTermOutput;
-import de.prob.prolog.term.CompoundPrologTerm;
-import de.prob.prolog.term.PrologTerm;
+import de.prob.prolog.term.*;
 
 public class FindValidStateCommand implements IComposableCommand {
 
@@ -81,7 +80,8 @@ public class FindValidStateCommand implements IComposableCommand {
 			stateId = term.getArgument(2).toString();
 		} else
 			throw new CommandException(
-					"unexpected result from deadlock check: " + resultTerm);
+					"unexpected result when trying to find a valid state: "
+							+ resultTerm);
 
 		this.result = result;
 	}
-- 
GitLab