Suppress a benign warning about an unused parameter
This commit is contained in:
parent
d3c4200bc3
commit
d5e6da89ae
|
@ -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;
|
||||
}
|
||||
|
||||
|
|
Loading…
Reference in New Issue