From 23ab74bd608db87c39c7638fc3c33d844b5d829a Mon Sep 17 00:00:00 2001
From: Pierre Courtieu <Pierre.Courtieu@cnam.fr>
Date: Mon, 24 Feb 2025 19:38:27 +0100
Subject: [PATCH] assumptions for unfair.

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

diff --git a/CaseStudies/Gathering/InR2/Algorithm_withLight_Assumptions.v b/CaseStudies/Gathering/InR2/Algorithm_withLight_Assumptions.v
index fb7e777e..ae1cefaf 100644
--- a/CaseStudies/Gathering/InR2/Algorithm_withLight_Assumptions.v
+++ b/CaseStudies/Gathering/InR2/Algorithm_withLight_Assumptions.v
@@ -1,2 +1,3 @@
 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