From 64be07508505f46e62d97dc0ff8bd000efdc7dc7 Mon Sep 17 00:00:00 2001
From: Andre Henriques <andr3h3nriqu3s@gmail.com>
Date: Fri, 1 Dec 2023 18:05:16 +0000
Subject: [PATCH] Test

---
 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 6ddb008..26ee817 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 $ 1 + 1$.
 
 		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.