From 6582c283511aa9305cd7b2c0c7922d1093bf39e6 Mon Sep 17 00:00:00 2001
From: Josep Silva <jsilva@dsic.upv.es>
Date: Thu, 5 Dec 2019 12:02:06 +0000
Subject: [PATCH]

---
 incremental_slicing.tex | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/incremental_slicing.tex b/incremental_slicing.tex
index 2015856..4d925bd 100644
--- a/incremental_slicing.tex
+++ b/incremental_slicing.tex
@@ -20,6 +20,8 @@ To build the PDG and then the SDG, some dependencies must be extracted from the
 	Vertex $b$ \textit{postdominates} vertex $b$ if and only if $a \neq b$ and $b$ is on every path from $a$ to the ``End'' vertex.
 \end{definition}
 
+JOSEP BORRAR
+
 \begin{definition}[Control dependency]
 	\label{def:ctrl-dep}
 	Vertex $b$ is \textit{control dependent} on vertex $a$ ($a \ctrldep b$) if and only if $b$ postdominates one but not all of $a$'s successors. It follows that a vertex with only one successor cannot be the source of control dependence.