rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

removing residual debugging comments from format.pl

Browse Source
This commit is contained in:
Mark
2023-07-02 11:10:25 -06:00
parent b0566e4150
commit d079a18459
1 changed files with 0 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/lib/format.pl
View File

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