Fix LP Generation

Each fixed branching variable is supposed to be seperated by a newline.
TiloW · Apr 30, 2015 · 1f938d0 · 1f938d0
1 parent cdf23cb
commit 1f938d0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/java/proof/validator/LeafValidator.java b/src/main/java/proof/validator/LeafValidator.java
@@ -95,7 +95,7 @@ public String generateLinearProgram(Map<CrossingIndex, Boolean> fixedVariables,
     Set<CrossingIndex> realizedCrossings = new HashSet<>();
     for (Map.Entry<CrossingIndex, Boolean> var : fixedVariables.entrySet()) {
       int value = var.getValue() ? 0 : 1;
-      output.append(createVarName(var.getKey()) + " = " + value);
+      output.append("\n" + createVarName(var.getKey()) + " = " + value);
 
       if (var.getValue()) {
         realizedCrossings.add(var.getKey());