diff --git a/heap_lang/tests.v b/heap_lang/tests.v
index b790ed7fc47c90e22d41859efa1583f6a9a431d5..24e6b4792cbaaf5ad2d75e31be3b8729709c03b5 100644
--- a/heap_lang/tests.v
+++ b/heap_lang/tests.v
@@ -1,6 +1,6 @@
 (** This file is essentially a bunch of testcases. *)
 Require Import program_logic.ownership.
-Require Import heap_lang.substitution heap_lang.tactics heap_lang.notation.
+From heap_lang Require Import substitution tactics notation.
 Import uPred.
 
 Module LangTests.