diff --git a/theories/lang/heap.v b/theories/lang/heap.v
index 21b6317704e1ae2f7aa3fb7e434eaaea57ff44f1..77c2b4954cd7432fcd629c621aa67b9b5af3a2d3 100644
--- a/theories/lang/heap.v
+++ b/theories/lang/heap.v
@@ -1,4 +1,3 @@
-From Coq Require Import Min.
 From stdpp Require Import coPset.
 From iris.algebra Require Import big_op gmap frac agree numbers.
 From iris.algebra Require Import csum excl auth cmra_big_op.