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.