diff --git a/heap_lang/tests.v b/heap_lang/tests.v
index 97f4a4678d8829719998386e6812140ac95ed923..90e890c90b905db7711544d89de5f62d387884b8 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.notation heap_lang.substitution heap_lang.tactics.
+Require Import heap_lang.substitution heap_lang.tactics heap_lang.notation.
 Import uPred.
 
 Module LangTests.