diff --git a/_CoqProject b/_CoqProject
index b4433a023c449e2d3ab0688c757dfabe8941b094..37621994b7a078618c606198b2de1e052eab20e8 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -98,5 +98,3 @@ CaseStudies/Exploration/ImpossibilityKDividesN_Assumptions.v
 CaseStudies/Exploration/Tower.v
 CaseStudies/Exploration/Tower_Assumptions.v
 
-## Case Study: Volume
-CaseStudies/Volumes/NoCollisionAndPath.v
\ No newline at end of file