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)