From b2d9673593fac5717a4c13c6148ad4a51ccfa99f Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Mon, 8 Oct 2018 23:04:23 -0600
Subject: [PATCH] add spaces between operators when there is an ambiguity

---
 src/prolog/lib/dcgs.pl | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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),
-- 
2.54.0