FIXED: portray_clause/1 for numbers

2025-02-28 08:22:54 +01:00
parent 2d4fcf9714
commit b8526e0510
1 changed files with 1 additions and 0 deletions
--- a/src/lib/format.pl
+++ b/src/lib/format.pl
@@ -580,6 +580,7 @@ portray_clause_(Term) -->
 literal(Lit, VNs) -->
        { write_term_to_chars(Lit, [quoted(true),variable_names(VNs),double_quotes(true)], Ls) },
        (   { nonvar(Lit),
+              \+ number(Lit),
              functor(Lit, F, A),
              current_op(Pri, _, F),
              (   A =:= 0