diff --git a/prism/src/parser/ast/Property.java b/prism/src/parser/ast/Property.java
index 3a6eb13d..c6985563 100644
--- a/prism/src/parser/ast/Property.java
+++ b/prism/src/parser/ast/Property.java
@@ -200,6 +200,9 @@ public class Property extends ASTElement
 			}
 			throw new PrismException("Unexpected error: " + errMsg);
 		}
+		if (strExpected.startsWith("Error")) {
+			throw new PrismException("Was expecting an error");
+		}
 		
 		// Check expected/actual result
 		Type type = expr.getType();