add spaces between operators when there is an ambiguity

diff --git a/src/prolog/lib/dcgs.pl b/src/prolog/lib/dcgs.pl
index a3fa8f6b1269d9379f169cdaa5ae5d580824d843..6ff86a79b04ff97ec5c30174ea7e55477e913aa4 100644 (file)
--- 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),