From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 9 Oct 2018 05:04:23 +0000 (-0600)
Subject: add spaces between operators when there is an ambiguity
X-Git-Tag: v0.8.110~337
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=b2d9673593fac5717a4c13c6148ad4a51ccfa99f;p=scryer-prolog.git

add spaces between operators when there is an ambiguity
---

diff --git a/src/prolog/lib/dcgs.pl b/src/prolog/lib/dcgs.pl
index a3fa8f6b..6ff86a79 100644
--- a/src/prolog/lib/dcgs.pl
+++ b/src/prolog/lib/dcgs.pl
@@ -39,8 +39,7 @@ term_expansion(Term0, (ModHead :- ModBody)) :-
     append(Args, ['$VAR'(0), '$VAR'(N)], ModArgs),
     ModHead =.. [RuleName | ModArgs],
     nonvar(Body),
-    expand_body(Body, ModBody, 0, N),
-    writeq((ModHead :- ModBody)).
+    expand_body(Body, ModBody, 0, N).
 
 expand_body((Term, Terms), (ModTerm, ModTerms), N0, N) :-
     !, expand_body_term(Term, ModTerm, N0, N1),