diff --git a/src/main/java/edu/kit/provideq/toolbox/featuremodel/anomaly/voidmodel/SatBasedVoidFeatureSolver.java b/src/main/java/edu/kit/provideq/toolbox/featuremodel/anomaly/voidmodel/SatBasedVoidFeatureSolver.java index 43d748d9..7e644983 100644 --- a/src/main/java/edu/kit/provideq/toolbox/featuremodel/anomaly/voidmodel/SatBasedVoidFeatureSolver.java +++ b/src/main/java/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."; }