diff --git a/_CoqProject b/_CoqProject
index 9904cd6953c31bde71141e67fcb9c1e31e51777f..fcb68112827ff88a4bcf50c0391cdb5337a0a747 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -170,10 +170,9 @@ iris_heap_lang/lib/array.v
 
 iris_staging/algebra/list.v
 iris_staging/base_logic/algebra.v
+iris_staging/heap_lang/interpreter.v
 
 iris_deprecated/base_logic/auth.v
 iris_deprecated/base_logic/sts.v
 iris_deprecated/base_logic/viewshifts.v
 iris_deprecated/program_logic/hoare.v
-
-iris_staging/heap_lang/interpreter.v