From: Markus Triska <triska@metalevel.at>
Date: Mon, 13 Apr 2020 09:32:06 +0000 (+0200)
Subject: the workaround is no longer necessary, since #336 is now corrected
X-Git-Tag: v0.8.123~170^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=ab9b604d021f08c2eac30642b36f5773523ca15d;p=scryer-prolog.git

the workaround is no longer necessary, since #336 is now corrected
---

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),
         ")".