Remove broken ‘removeList’ function

This commit is contained in:
Eelco Dolstra 2013-03-26 11:18:29 +01:00
parent cffc126e14
commit 79eda8573e

View file

@ -92,10 +92,6 @@ rec {
remove = e: filter (x: x != e);
# Given two lists, removes all elements of the first list from the second list
removeList = l: filter (x: elem x l);
# Return true if `list' has an element `x'.
elem =
builtins.elem or