From ee61f8cd373c4b11297c6e0d8df9b21519f3200d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Arma=C3=ABl=20Gu=C3=A9neau?= <armael.gueneau@ens-lyon.org>
Date: Wed, 16 Nov 2022 14:19:45 +0100
Subject: [PATCH] fix typo

---
 iris/algebra/coPset.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/iris/algebra/coPset.v b/iris/algebra/coPset.v
index 7a9876119..aba562c42 100644
--- a/iris/algebra/coPset.v
+++ b/iris/algebra/coPset.v
@@ -60,7 +60,7 @@ Section coPset.
   Qed.
 End coPset.
 
-(* The disjoiny union CMRA *)
+(* The disjoint union CMRA *)
 Inductive coPset_disj :=
   | CoPset : coPset → coPset_disj
   | CoPsetBot : coPset_disj.
-- 
GitLab