Merge pull request #341 from triska/master

the workaround is no longer necessary, since #336 is now corrected
This commit is contained in:
Mark Thom
2020-04-13 09:13:17 -03:00
committed by GitHub

View File

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