From d8a9a34d50606c62574576a6c1d8173f600e82df Mon Sep 17 00:00:00 2001
From: Twan van Laarhoven <twanvl@gmail.com>
Date: Sat, 5 May 2018 19:55:43 +0200
Subject: [PATCH] Space before final "(not foo)"

---
 src/main/java/sts_exporter/Exporter.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/java/sts_exporter/Exporter.java b/src/main/java/sts_exporter/Exporter.java
index 30642f2..16912df 100644
--- 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));