From: Markus Triska <triska@metalevel.at>
Date: Fri, 28 Feb 2025 07:22:54 +0000 (+0100)
Subject: FIXED: portray_clause/1 for numbers
X-Git-Tag: v0.10.0~66^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=b8526e05108d7b127cb06115bcc45848695c559d;p=scryer-prolog.git

FIXED: portray_clause/1 for numbers
---

diff --git a/src/lib/format.pl b/src/lib/format.pl
index 63104519..62a9e93e 100644
--- 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