Space before final "(not foo)"

twanvl · May 5, 2018 · d8a9a34 · d8a9a34
1 parent 567789e
commit d8a9a34
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/java/sts_exporter/Exporter.java b/src/main/java/sts_exporter/Exporter.java
@@ -349,7 +349,7 @@ private static String combineDescriptions(String a, String b) {
         }
         if (prev == 'b') out.append(")");
         if (prev == 'a') {
-            out.append("(not");
+            out.append(" (not");
             for (int j = astart ; j < words.size() ; j++) {
                 out.append(" ");
                 out.append(words.get(j));