From ca816ccadf570bf29b76a2226ac2c9591795551a Mon Sep 17 00:00:00 2001
From: Pierre Courtieu <Pierre.Courtieu@cnam.fr>
Date: Mon, 24 Feb 2025 19:34:50 +0100
Subject: [PATCH] More cleaning.

---
 CaseStudies/Gathering/InR2/Algorithm_withLight_Assumptions.v | 1 -
 1 file changed, 1 deletion(-)

diff --git a/CaseStudies/Gathering/InR2/Algorithm_withLight_Assumptions.v b/CaseStudies/Gathering/InR2/Algorithm_withLight_Assumptions.v
index ae1cefaf..fb7e777e 100644
--- a/CaseStudies/Gathering/InR2/Algorithm_withLight_Assumptions.v
+++ b/CaseStudies/Gathering/InR2/Algorithm_withLight_Assumptions.v
@@ -1,3 +1,2 @@
 Require Pactole.CaseStudies.Gathering.InR2.Algorithm_withLight.
 Print Assumptions InR2.Algorithm_withLight.Gathering_in_R2.
-Print Assumptions InR2.Algorithm_withLight.unfair_Gathering_in_R2.
-- 
GitLab