Really remove library functions

Throwing a message like "removed 2016-02-29 because unused and broken" is unhelpful because it doesn't show what function was removed.
2016-07-11 16:34:46 +02:00
parent 44789200f0
commit 532211c68d
2 changed files with 0 additions and 5 deletions
@@ -374,8 +374,4 @@ rec {
  */
  subtractLists = e: filter (x: !(elem x e));

-  /*** deprecated stuff ***/
-
-  deepSeqList = throw "removed 2016-02-29 because unused and broken";
-
 }