From 9806de16298ff4783fcdbbe98888220cd8ec9ade Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 5 Feb 2025 10:48:43 +0100
Subject: [PATCH] fix variant name

---
 theories/spanning_tree/mon.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/theories/spanning_tree/mon.v b/theories/spanning_tree/mon.v
index fd68ebcd..615df852 100644
--- a/theories/spanning_tree/mon.v
+++ b/theories/spanning_tree/mon.v
@@ -70,7 +70,7 @@ Definition Gmon := gmapR loc (exclR chlO).
 Definition excl_chlC_chl (ch : exclR chlO) : option (option loc * option loc) :=
   match ch with
   | Excl w => Some w
-  | ExclBot => None
+  | ExclInvalid => None
   end.
 
 Definition Gmon_graph (G : Gmon) : graph loc := omap excl_chlC_chl G.
-- 
GitLab