From a0a01b8ba7c9791c95a753616b9d78591c504563 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sun, 7 Nov 2021 17:11:00 +0100 Subject: [PATCH] ADDED: library(format): DCG nonterminal portray_clause_//1, in analogy to format_//2. --- src/lib/format.pl | 1 + 1 file changed, 1 insertion(+) diff --git a/src/lib/format.pl b/src/lib/format.pl index 6962470e..47150a97 100644 --- 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 -- 2.54.0