Fix a typo

spec/fig_offchain_prot.tex

@@ -93,7 +93,7 @@
 									\ElseIf{$\psi \in \tx_\alpha$} {
 										$U_{\mathsf{active}} \gets \bar{\mc S}.U \cup \mathsf{outputs}(\psi)$ \;
 									}
-									\Esle {
+									\Else {
 										$U_{\mathsf{active}} \gets \bar{\mc S}.U$ \;
 									}
 								}