From ac6f9053571b285aafc21129a0b347cbc73545fe Mon Sep 17 00:00:00 2001
From: Andre Henriques <andr3h3nriqu3s@gmail.com>
Date: Fri, 1 Dec 2023 18:03:33 +0000
Subject: [PATCH] Update the second cw

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

diff --git a/secondcw/cw/cw.tex b/secondcw/cw/cw.tex
index b4b8e73..6ddb008 100644
--- a/secondcw/cw/cw.tex
+++ b/secondcw/cw/cw.tex
@@ -51,7 +51,7 @@
 \begin{document}
 	\section*{1}
 	\subsection*{1.1}
-		The file ag01598_6644818_1.1.spdl contains the base model of protocol$\Pi$.
+		The file ag01598_6644818_1.1.spdl contains the base model of protocol $\Pi$.
 
 		I choose the names of the roles based on their functions since it would make the file more readable so R is Phone, S is Application, N is Network.