From: Mark <markjordanthom@gmail.com>
Date: Sun, 2 Jul 2023 17:10:25 +0000 (-0600)
Subject: removing residual debugging comments from format.pl
X-Git-Tag: v0.9.2~96
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=d079a18459feb29e24ab7863d784c3bc8177801a;p=scryer-prolog.git

removing residual debugging comments from format.pl
---

diff --git a/src/lib/format.pl b/src/lib/format.pl
index be1cd532..32ad2ff9 100644
--- a/src/lib/format.pl
+++ b/src/lib/format.pl
@@ -513,12 +513,10 @@ portray_clause(Stream, Term) :-
         phrase_to_stream(portray_clause_(Term), Stream),
         flush_output(Stream).
 
-% called once.
 portray_clause_(Term) -->
         { unique_variable_names(Term, VNs) },
         portray_(Term, VNs), ".\n".
 
-% mysteriously called twice, the second time with the truncated B3.
 unique_variable_names(Term, VNs) :-
         term_variables(Term, Vs),
         foldl(var_name, Vs, VNs, 0, _).