From 40bffb73a87be5d7cba9a2d7c29a4632c17b6ba4 Mon Sep 17 00:00:00 2001
From: Josep Silva <jsilva@dsic.upv.es>
Date: Tue, 19 Nov 2019 10:13:36 +0000
Subject: [PATCH]

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

diff --git a/Secciones/solution.tex b/Secciones/solution.tex
index 1d0f77e..a3c281f 100644
--- a/Secciones/solution.tex
+++ b/Secciones/solution.tex
@@ -31,7 +31,7 @@ print(a);
 \caption{Example of pseudo-predicates control dependencies \josep{no se referencia a esta figura desde ningún sitio}}
 \end{figure}
 
-This is the process used to build the Program Dependence Graph.
+This is the process used to build the Program Dependence Graph. \josep{Todo lo que sigue es demasiado verbose. No hay definiciones concretas. Es todo muy informal, y no hay un ongoing example que permita ver como las fases van evolucionando paso a paso. Nos reunimos para hablar de esta sección antes de reescribirla...}
 
 \begin{description}
 	\item[Step 1 (static analysis):] Identify for each instruction the variables read and defined. Each method is annotated with the global variables that they access or modify.