From 0b5aff92f03f8e9de3f149b19c28044d165892cb Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Mon, 11 Feb 2019 08:39:19 +0100
Subject: [PATCH] remove warning
---
.../java/de/tudresden/inf/st/mquat/solving/ilp/GLPKSolver.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/jastadd-mquat-solver-ilp/src/main/java/de/tudresden/inf/st/mquat/solving/ilp/GLPKSolver.java b/jastadd-mquat-solver-ilp/src/main/java/de/tudresden/inf/st/mquat/solving/ilp/GLPKSolver.java
index a8976cf..fda2a96 100644
--- a/jastadd-mquat-solver-ilp/src/main/java/de/tudresden/inf/st/mquat/solving/ilp/GLPKSolver.java
+++ b/jastadd-mquat-solver-ilp/src/main/java/de/tudresden/inf/st/mquat/solving/ilp/GLPKSolver.java
@@ -80,7 +80,7 @@ public class GLPKSolver extends ILPExternalSolver {
}
phase = 3;
} else {
- logger.debug("Tokens: {}", tokens);
+ logger.debug("Tokens: {}", (Object[]) tokens);
}
}
} catch (IOException e) {
--
GitLab