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 910912774533219afc4283429ca40c66bbf2654f..c0d4c47fa472d7ffaf5a633136b316f42e33ca15 100644 (file)
--- 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),
         ")".