chore: fixed solver description

ProvideQ · Jan 2, 2025 · f129af3 · f129af3
1 parent ad7b35b
commit f129af3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/...va/edu/kit/provideq/toolbox/featuremodel/anomaly/voidmodel/SatBasedVoidFeatureSolver.java b/...va/edu/kit/provideq/toolbox/featuremodel/anomaly/voidmodel/SatBasedVoidFeatureSolver.java
@@ -38,8 +38,8 @@ public String getName() {
 
   @Override
   public String getDescription() {
-    return "This solver builds SAT formulae to determine void features in a feature model."
-        + " It uses a SAT solver to determine if there is any valid configurations of the +"
+    return "This solver builds SAT formulae to determine void features in a feature model. "
+        + "It uses a SAT solver to determine if there is any valid configurations of the "
         + "feature model.";
   }