diff --git a/Secciones/motivation.tex b/Secciones/motivation.tex index ae28543..2638680 100644 --- a/Secciones/motivation.tex +++ b/Secciones/motivation.tex @@ -108,7 +108,7 @@ void g(int x) { \josep{Explicar mejor el ejemplo. Ser generoso dando detalles, la ejecución, la diferencia, incluso el grafo de dependencias si hace falta... El motivating example es la parte mas importante de un paper. :-) Determina si van a seguir leyendote o no.} -\added{If we consider the initial call {\tt f(0)}, then the execution history of the initial program is: +\added{If we consider the initial call {\tt f(-1)}, then the execution history of the initial program is: {\tt 1,2,3,13,14,15,4,5,6,7,8,9,10,13,14,15} (line 17 is never executed and {\tt f} returns with an exception). In contrast, the execution of the slice is: {\tt 1,2,3,13,14,15} (line 17 is never executed and {\tt f} returns with an exception).}