From 992d01f1071bb78e3a7dc7f783e41f6643988108 Mon Sep 17 00:00:00 2001
From: "piotr.malkowski" <piotr.malkowski@student.kit.edu>
Date: Mon, 27 Jan 2025 16:39:03 +0100
Subject: [PATCH] fix: checkstyle

---
 .../toolbox/sharpsat/solvers/PythonBruteForceSolver.java        | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/java/edu/kit/provideq/toolbox/sharpsat/solvers/PythonBruteForceSolver.java b/src/main/java/edu/kit/provideq/toolbox/sharpsat/solvers/PythonBruteForceSolver.java
index 7ea655a6..b7103f4a 100644
--- a/src/main/java/edu/kit/provideq/toolbox/sharpsat/solvers/PythonBruteForceSolver.java
+++ b/src/main/java/edu/kit/provideq/toolbox/sharpsat/solvers/PythonBruteForceSolver.java
@@ -11,9 +11,9 @@
 import org.springframework.beans.factory.annotation.Value;
 import org.springframework.context.ApplicationContext;
 import reactor.core.publisher.Mono;
-// TODO: Add test class
 
 public class PythonBruteForceSolver extends SharpSatSolver {
+  // TODO: Add test class
   private final String scriptPath;
   private final ApplicationContext context;