From 9a682a9ac44ba10d7b78e691e32924f664f0100e Mon Sep 17 00:00:00 2001
From: Pierre Courtieu <Pierre.Courtieu@cnam.fr>
Date: Thu, 22 Apr 2021 10:33:06 +0200
Subject: [PATCH] More cleaning

---
 _CoqProject | 2 --
 1 file changed, 2 deletions(-)

diff --git a/_CoqProject b/_CoqProject
index b4433a02..37621994 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
-- 
GitLab