From ab9b604d021f08c2eac30642b36f5773523ca15d Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Mon, 13 Apr 2020 11:32:06 +0200
Subject: [PATCH] the workaround is no longer necessary, since #336 is now
 corrected

---
 src/prolog/lib/format.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/prolog/lib/format.pl b/src/prolog/lib/format.pl
index 91091277..c0d4c47f 100644
--- a/src/prolog/lib/format.pl
+++ b/src/prolog/lib/format.pl
@@ -434,7 +434,7 @@ body_(Goal, C, I) -->
 
 else_branch(Else, C, I) -->
         indent_to(0, I),
-        ";", "  ", % (see #336)
+        ";  ",
         body_(Else, C, C), "\n",
         indent_to(0, I),
         ")".
-- 
2.54.0