fix newline in String.
@@ -292,6 +292,7 @@ public class SolverOverviewTable {
+ "s |%n";
private static final String SEPERATOR_LINE =
+ String.format(
"+-"
+ "-".repeat(SOLVER_COLUMN_WIDTH)
+ "-+-"
@@ -300,7 +301,7 @@ public class SolverOverviewTable {
+ "-".repeat(THEORIES_COLUMN_WIDTH)
+ "-+-"
+ "-".repeat(FEATURES_COLUMN_WIDTH)
- + "-+%n";
+ + "-+%n");
/** The constructor builds the header of the table. */
RowBuilder() {
