From b30d0bbdaf0db886dced1b6830c8494896afaa7d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Sun, 5 Oct 2014 10:22:03 +0100 Subject: [PATCH] fix bad formatting. --- pl/listing.yap | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pl/listing.yap b/pl/listing.yap index 122194cbc..559042fef 100644 --- a/pl/listing.yap +++ b/pl/listing.yap @@ -158,7 +158,7 @@ listing(Stream, [MV|MVs]) :- !, -> format( Stream, ':- ~q.~n', [PredDef]) ; - format( Stream, '~:- ~q:~q.~n', [M,PredDef]) + format( Stream, ':- ~q:~q.~n', [M,PredDef]) ), fail. '$list_clauses'(Stream, M, Pred) :-