From 65bb3d2d9a3b873bf06ba33f6d8ab2260ec39ccb Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 6 Sep 2012 08:53:57 +0000
Subject: [PATCH] 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 | 1 +
 1 file changed, 1 insertion(+)

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