diff --git a/CaseStudies/Gathering/InR2/Algorithm_withLight_Assumptions.v b/CaseStudies/Gathering/InR2/Algorithm_withLight_Assumptions.v
index ae1cefaf8348e8a000416d087013a51a9affe287..fb7e777e87409836d2e01111551e21e2689a4ae6 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.