FIXED: portray_clause/1 for numbers

diff --git a/src/lib/format.pl b/src/lib/format.pl
index 63104519e18da5f015026978250ad8d47dac13a9..62a9e93e7b863f169092547d0c7fe751b097c951 100644 (file)
--- 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