From 328fcd487edcf3aaf083f75bd43ac6257dad82e0 Mon Sep 17 00:00:00 2001
From: Dan Rose <DanOfTheRoses@gmail.com>
Date: Wed, 21 May 2025 12:35:54 -0500
Subject: [PATCH] Don't fail listing/1 if no clauses

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

diff --git a/src/lib/format.pl b/src/lib/format.pl
index 0c6fa2db9..f1dbe55e9 100644
--- a/src/lib/format.pl
+++ b/src/lib/format.pl
@@ -708,7 +708,6 @@
         ;   type_error(predicate_indicator, PI, listing/1)
         ),
         functor(Head, Name, Arity),
-        \+ \+ clause(Head, _), % only true if there is at least one clause
         (   clause(Head, Body),
             (   Body == true ->
                 portray_clause(Head)