From 212c64f782c42624a4dddd1c496b6265b4ba425e Mon Sep 17 00:00:00 2001 From: vsc Date: Mon, 18 Nov 2002 17:25:22 +0000 Subject: [PATCH] fix bad documentation on remove_duplicates. git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@690 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- docs/yap.tex | 8 ++++---- library/lists.yap | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/docs/yap.tex b/docs/yap.tex index 778f1e13d..24cbdeeb6 100644 --- a/docs/yap.tex +++ b/docs/yap.tex @@ -7029,10 +7029,10 @@ can be used to insert @var{Elem} after the Nth element of @var{Rest}. @cnindex permutation/2 True when @var{List} and @var{Perm} are permutations of each other. -@item remove_dups(+@var{List}, ?@var{Pruned}) -@findex remove_dups/2 -@syindex remove_dups/2 -@cnindex remove_dups/2 +@item remove_duplicates(+@var{List}, ?@var{Pruned}) +@findex remove_duplicates/2 +@syindex remove_duplicates/2 +@cnindex remove_duplicates/2 Removes duplicated elements from @var{List}. Beware: if the @var{List} has non-ground elements, the result may surprise you. diff --git a/library/lists.yap b/library/lists.yap index 3acf82ec4..dcf3b4562 100644 --- a/library/lists.yap +++ b/library/lists.yap @@ -219,7 +219,7 @@ prefix([], _). prefix([Elem | Rest_of_part], [Elem | Rest_of_whole]) :- prefix(Rest_of_part, Rest_of_whole). -% remove_dups(List, Pruned) +% remove_duplicates(List, Pruned) % removes duplicated elements from List. Beware: if the List has % non-ground elements, the result may surprise you.