diff --git a/_CoqProject b/_CoqProject
index 7520c6e0f63e1605f0b8ff8609954ee93637b350..eae60dc58cb6c00a29d6026d68cf977f3c90d315 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -1,7 +1,6 @@
 -Q theories actris
 -arg -w -arg -notation-overridden,-redundant-canonical-projection,-several-object-files
 theories/utils/auth_excl.v
-theories/utils/flist.v
 theories/utils/llist.v
 theories/utils/compare.v
 theories/utils/contribution.v
diff --git a/theories/utils/flist.v b/experimental/flist.v
similarity index 100%
rename from theories/utils/flist.v
rename to experimental/flist.v