From c47a548df769662070730a06082e5d2cf731a2b0 Mon Sep 17 00:00:00 2001
From: partowp <partowp@UOB25BXTXG74.adf.bham.ac.uk>
Date: Wed, 15 Jul 2026 15:38:16 +0100
Subject: [PATCH] minor

---
 draft/draft.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/draft/draft.tex b/draft/draft.tex
index 35627f8..b82273e 100644
--- a/draft/draft.tex
+++ b/draft/draft.tex
@@ -2314,7 +2314,7 @@ So, proven by Dubut, for every AM-simulation relation over a coalgebra $(X,\alph
 			\Rightarrow&\sigma(x_2,x_1)=\bot,\\
 			\Rightarrow&p_1+1\comp\sigma(x_2,x_1)=\bot,\\
 			\Rightarrow&\alpha(x_2)=\bot,&\eqref{eq:maybe-func-set-2}\\
-			\Rightarrow&\alpha(x_2)=p_1+1\comp\sigma(x_1,x_2)\bot.
+			\Rightarrow&\alpha(x_2)=p_1+1\comp\sigma(x_1,x_2).
 		\end{align*}
 	\end{itemize}\qed
 \end{proof}