ADDED: library(format): DCG nonterminal portray_clause_//1, in analogy to format_//2.

diff --git a/src/lib/format.pl b/src/lib/format.pl
index 6962470ed0968d166c45cf3ea91d8f3176fc7ccb..47150a976a7f41881e7ca4c00f296b8864b9d643 100644 (file)
--- a/src/lib/format.pl
+++ b/src/lib/format.pl
@@ -73,6 +73,7 @@
 :- module(format, [format_//2,
                    format/2,
                    format/3,
+                   portray_clause_//1,
                    portray_clause/1,
                    portray_clause/2,
                    listing/1