From d5e6da89aef0c3b2d402c432f369d9022a9c2257 Mon Sep 17 00:00:00 2001 From: Ben Liblit Date: Tue, 18 Jul 2017 15:20:59 -0500 Subject: [PATCH] Suppress a benign warning about an unused parameter --- .../source/com/ibm/wala/demandpa/driver/DemandCastChecker.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/com.ibm.wala.ide.jdt.test/source/com/ibm/wala/demandpa/driver/DemandCastChecker.java b/com.ibm.wala.ide.jdt.test/source/com/ibm/wala/demandpa/driver/DemandCastChecker.java index 6480ec161..e312f3e65 100644 --- a/com.ibm.wala.ide.jdt.test/source/com/ibm/wala/demandpa/driver/DemandCastChecker.java +++ b/com.ibm.wala.ide.jdt.test/source/com/ibm/wala/demandpa/driver/DemandCastChecker.java @@ -163,7 +163,7 @@ public class DemandCastChecker { return fullDemandPointsTo; } - private static String getExclusions(String benchName) { + private static String getExclusions(@SuppressWarnings("unused") String benchName) { return CallGraphTestUtil.REGRESSION_EXCLUSIONS; }