diff --git a/_CoqProject b/_CoqProject
index 467bb6214aa4c5f0d5a4613b2f0ee85b7a43a335..11ce70ea254b642210ed772f7ce65cfce9152db5 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -55,6 +55,7 @@ algebra/upred_tactics.v
 algebra/upred_big_op.v
 algebra/frac.v
 algebra/one_shot.v
+algebra/list.v
 program_logic/model.v
 program_logic/adequacy.v
 program_logic/hoare_lifting.v