diff --git a/theories/heap_lang/lib/increment.v b/theories/heap_lang/lib/increment.v
index b3a5b4aeda2ba68db937f3695c1ca05fbec4a964..938b2d6b20d7628e5de2652f52d6c56f4bca05a2 100644
--- a/theories/heap_lang/lib/increment.v
+++ b/theories/heap_lang/lib/increment.v
@@ -1,4 +1,3 @@
-From iris.heap_lang Require Export lifting notation.
 From iris.base_logic.lib Require Export invariants.
 From iris.program_logic Require Export atomic.
 From iris.proofmode Require Import tactics.