From b8526e05108d7b127cb06115bcc45848695c559d Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Fri, 28 Feb 2025 08:22:54 +0100
Subject: [PATCH] FIXED: portray_clause/1 for numbers

---
 src/lib/format.pl | 1 +
 1 file changed, 1 insertion(+)

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
-- 
2.54.0