fix: unused parameter

ProvideQ · Feb 10, 2025 · 86ac2bb · 86ac2bb
1 parent 7d71cc7
commit 86ac2bb
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/main/java/edu/kit/provideq/toolbox/sharpsat/SharpSatConfiguration.java b/src/main/java/edu/kit/provideq/toolbox/sharpsat/SharpSatConfiguration.java
@@ -26,8 +26,7 @@ public class SharpSatConfiguration {
   public static final ProblemType<String, Integer> SHARPSAT = new ProblemType<>(
       "sharpsat",
       String.class,
-      Integer.class,
-      null
+      Integer.class
   );
 
   @Bean