1 files changed, 0 insertions, 2 deletions
diff --git a/lib/heap.ml b/lib/heap.ml
index a19bc0d1c..5682b87bb 100644
--- a/lib/heap.ml
+++ b/lib/heap.ml
@@ -62,8 +62,6 @@ module Functional(X : Ordered) = struct
 
   let empty = Leaf
 
-  let is_empty t = t = Leaf
-
   let rec add x = function
     | Leaf ->
         Node (Leaf, x, Leaf)