1 files changed, 0 insertions, 7 deletions
diff --git a/checker/univ.ml b/checker/univ.ml
index 668f3a058..fb1a0faa7 100644
--- a/checker/univ.ml
+++ b/checker/univ.ml
@@ -87,7 +87,6 @@ module HList = struct
     val exists : (elt -> bool) -> t -> bool
     val for_all : (elt -> bool) -> t -> bool
     val for_all2 : (elt -> elt -> bool) -> t -> t -> bool
-    val remove : elt -> t -> t
     val to_list : t -> elt list
   end
 
@@ -128,12 +127,6 @@ module HList = struct
   | Nil -> []
   | Cons (x, _, l) -> x :: to_list l
 
-  let rec remove x = function
-  | Nil -> nil
-  | Cons (y, _, l) ->
-    if H.eq x y then l
-    else cons y (remove x l)
-
   end
 end