removing residual debugging comments from format.pl

diff --git a/src/lib/format.pl b/src/lib/format.pl
index be1cd532756c8d654f54f83b74e4771e390448f1..32ad2ff9335861b0bbc257004e95fcf3c3ae9217 100644 (file)
--- 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, _).