diff --git a/prism/src/parser/ast/Property.java b/prism/src/parser/ast/Property.java
index 562fb0e6..394e601b 100644
--- a/prism/src/parser/ast/Property.java
+++ b/prism/src/parser/ast/Property.java
@@ -194,6 +194,7 @@ public class Property extends ASTElement
 	 * This method actually looks at all RESULTs and complains if there multiple matches. 
 	 * @param constValues The values of any undefined constants (null or "" if none)
 	 */
+	@SuppressWarnings("unused")
 	private String getExpectedResultString(String constValues) throws PrismException
 	{
 		HashMap<String, String> strExpectedMap = new HashMap<String, String>();