From d079a18459feb29e24ab7863d784c3bc8177801a Mon Sep 17 00:00:00 2001
From: Mark <markjordanthom@gmail.com>
Date: Sun, 2 Jul 2023 11:10:25 -0600
Subject: [PATCH] removing residual debugging comments from format.pl

---
 src/lib/format.pl | 2 --
 1 file changed, 2 deletions(-)

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