From f0247052c7a66129bbf9b7018ef2be0ea36db0e5 Mon Sep 17 00:00:00 2001
From: Carlos Galindo <cargaji@inf.upv.es>
Date: Fri, 25 Oct 2019 13:20:54 +0000
Subject: [PATCH] changed magic comment

---
 introduction.tex     | 8 ++++----
 listings-config.tex  | 6 +++---
 paper.tex            | 9 ++++++---
 solution.tex         | 6 +++---
 state_of_the_art.tex | 6 +++---
 5 files changed, 19 insertions(+), 16 deletions(-)

diff --git a/introduction.tex b/introduction.tex
index caa8fb6..69905b2 100644
--- a/introduction.tex
+++ b/introduction.tex
@@ -1,6 +1,6 @@
-% !TeX encoding = UTF-8
-% !TeX spellcheck = en_US
-% !TeX root = paper.tex
+% !TEX encoding = UTF-8
+% !TEX spellcheck = en_US
+% !TEX root = paper.tex
 
 \chapter{Introduction}
 
@@ -391,7 +391,7 @@ emulate or replace exception handling:
 		Then, the exception \carlos{complete}
 \end{description}
 
-\footnotetext{\url{https://golang.org/doc/faq#exceptions}}
+\footnotetext{\url{https://golang.org/doc/faq\#exceptions}}
 
 \begin{figure} % example of exception system in C
 	\centering
diff --git a/listings-config.tex b/listings-config.tex
index 4aafb1f..7ac426f 100644
--- a/listings-config.tex
+++ b/listings-config.tex
@@ -1,6 +1,6 @@
-% !TeX encoding = UTF-8
-% !TeX spellcheck = en_US
-% !TeX root = paper.tex
+% !TEX encoding = UTF-8
+% !TEX spellcheck = en_US
+% !TEX root = paper.tex
 \lstset{
 	% Numbering
 	numbers=left,
diff --git a/paper.tex b/paper.tex
index d009480..537507a 100644
--- a/paper.tex
+++ b/paper.tex
@@ -1,6 +1,6 @@
-% !TeX encoding = UTF-8
-% !TeX spellcheck = en_US
-% !TeX root = paper.tex
+% !TEX encoding = UTF-8
+% !TEX spellcheck = en_US
+% !TEX root = paper.tex
 \documentclass[a4paper,twoside]{report}
 
 \usepackage[spanish,english]{babel}
@@ -14,6 +14,7 @@
 \usepackage{amssymb}
 \theoremstyle{definition}
 \newtheorem{definition}{Definition}
+\newtheorem{example}{Example}
 \usepackage{hyperref}
 \usepackage{graphics}
 \usepackage{title/mitssTitle}
@@ -65,6 +66,7 @@
 \author{Carlos S. Galindo Jiménez}
 \date{diciembre de 2019}
 \supervisor{Josep Francesc Silva Galiana}
+\curso{2019-2020}
 
 \begin{document}
 \algsetup{linenodelimiter=.}
@@ -84,6 +86,7 @@
 
 \tableofcontents
 
+\include{motivation}
 \include{introduction}
 \include{incremental_slicing}
 \include{state_of_the_art}
diff --git a/solution.tex b/solution.tex
index c926f3d..44d23f3 100644
--- a/solution.tex
+++ b/solution.tex
@@ -1,6 +1,6 @@
-% !TeX encoding = UTF-8
-% !TeX spellcheck = en_US
-% !TeX root = paper.tex
+% !TEX encoding = UTF-8
+% !TEX spellcheck = en_US
+% !TEX root = paper.tex
 \chapter{Proposed solution}
 
 This solution is an extension of Allen's\cite{AllH03}, with some modifications to solve the problem found. Before starting, we need to split all instructions in three categories:
diff --git a/state_of_the_art.tex b/state_of_the_art.tex
index d1988cb..e5c9cc7 100644
--- a/state_of_the_art.tex
+++ b/state_of_the_art.tex
@@ -1,6 +1,6 @@
-% !TeX encoding = UTF-8
-% !TeX spellcheck = en_US
-% !TeX root = paper.tex
+% !TEX encoding = UTF-8
+% !TEX spellcheck = en_US
+% !TEX root = paper.tex
 \chapter{State of the art}
 
 Slicing was proposed\cite{Wei81} and improved until the proposal of the current system (the SDG) \carlos{(citation)}. Specifically in the context of exceptions, multiple approaches have been attempted, with varying degrees of success. There exist commercial solutions for various programming languages: \carlos{name them and link}.