Compiler warning.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5648 bbc10eb1-c90d-0410-af57-cb519fbb1720

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>();