diff --git a/_CoqProject b/_CoqProject
index 9d0be2709ce3b3fdccdca7ba3f733b35ce4e40ee..942d29768a2329b3fc285c2a6aee0f9e92b5dc6a 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -66,6 +66,7 @@ program_logic/hoare.v
 program_logic/language.v
 program_logic/tests.v
 program_logic/ghost_ownership.v
+program_logic/saved_prop.v
 program_logic/auth.v
 program_logic/sts.v
 heap_lang/heap_lang.v