diff --git a/_CoqProject b/_CoqProject
index 51ce819755818833b3e3103a302797274c0d65cb..b143428cf9b0769d242f8616f99d588a032c065b 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -1,7 +1,6 @@
 -Q theories osiris
 -arg -w -arg -notation-overridden,-redundant-canonical-projection,-several-object-files
 theories/list.v
-theories/buffer.v
 theories/auth_excl.v
 theories/channel.v