fix bad formatting.
This commit is contained in:
parent
8345bf3e24
commit
b30d0bbdaf
@ -158,7 +158,7 @@ listing(Stream, [MV|MVs]) :- !,
|
|||||||
->
|
->
|
||||||
format( Stream, ':- ~q.~n', [PredDef])
|
format( Stream, ':- ~q.~n', [PredDef])
|
||||||
;
|
;
|
||||||
format( Stream, '~:- ~q:~q.~n', [M,PredDef])
|
format( Stream, ':- ~q:~q.~n', [M,PredDef])
|
||||||
),
|
),
|
||||||
fail.
|
fail.
|
||||||
'$list_clauses'(Stream, M, Pred) :-
|
'$list_clauses'(Stream, M, Pred) :-
|
||||||
|
Reference in New Issue
Block a user