From 4a207731729d3079fafbc7cd8c7bfbda5bacd164 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 16 Feb 2012 13:04:34 +0000
Subject: [PATCH] Better error message for unexpected non-exception.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4641 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/parser/ast/Property.java | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/prism/src/parser/ast/Property.java b/prism/src/parser/ast/Property.java
index c6985563..cd646759 100644
--- a/prism/src/parser/ast/Property.java
+++ b/prism/src/parser/ast/Property.java
@@ -199,8 +199,7 @@ public class Property extends ASTElement
 				return true;
 			}
 			throw new PrismException("Unexpected error: " + errMsg);
-		}
-		if (strExpected.startsWith("Error")) {
+		} else if (strExpected.startsWith("Error")) {
 			throw new PrismException("Was expecting an error");
 		}