From 568a8c2f69b0ca975f0ea250fa340a5e19e90a34 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Paul=20W=C3=B6gerer?= <paul.woegerer@oracle.com>
Date: Tue, 23 Jun 2020 14:51:40 +0200
Subject: [PATCH] Style fix

---
 .../src/com/oracle/svm/core/SubstrateOptions.java               | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/substratevm/src/com.oracle.svm.core/src/com/oracle/svm/core/SubstrateOptions.java b/substratevm/src/com.oracle.svm.core/src/com/oracle/svm/core/SubstrateOptions.java
index 1911d1d53a54..ee7b1fc5d931 100644
--- a/substratevm/src/com.oracle.svm.core/src/com/oracle/svm/core/SubstrateOptions.java
+++ b/substratevm/src/com.oracle.svm.core/src/com/oracle/svm/core/SubstrateOptions.java
@@ -470,7 +470,7 @@ protected void onValueUpdate(EconomicMap<OptionKey<?>, Object> values, Integer o
         }
     };
 
-    private static void defaultDebugInfoValueUpdateHandler(EconomicMap<OptionKey<?>, Object> values, Integer oldValue, Integer newValue) {
+    private static void defaultDebugInfoValueUpdateHandler(EconomicMap<OptionKey<?>, Object> values, @SuppressWarnings("unused") Integer oldValue, Integer newValue) {
         // force update of TrackNodeSourcePosition
         if (newValue > 0 && !Boolean.TRUE.equals(values.get(TrackNodeSourcePosition))) {
             TrackNodeSourcePosition.update(values, true);