Declared indent(Num) option of portray_clause/3.

SWI-Prolog · Feb 18, 2020 · 41f4156 · 41f4156
1 parent 0a1e3d8
commit 41f4156
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/library/listing.pl b/library/listing.pl
@@ -61,7 +61,10 @@
     listing(:, +),
     portray_clause(+,+,:).
 
-:- predicate_options(portray_clause/3, 3, [pass_to(system:write_term/3, 3)]).
+:- predicate_options(portray_clause/3, 3,
+                     [ indent(nonneg),
+                       pass_to(system:write_term/3, 3)
+                     ]).
 
 :- multifile
     prolog:locate_clauses/2.        % +Spec, -ClauseRefList