diff --git a/report/src/sections/01-introduction.tex b/report/src/sections/01-introduction.tex
index f626de7..3eb5163 100644
--- a/report/src/sections/01-introduction.tex
+++ b/report/src/sections/01-introduction.tex
@@ -12,5 +12,6 @@ \section{Introduction}\label{sec:introduction}
 Baum-Welch algorithm (BW) - Expectation-Maximization algorithm for finding the parameters of a Hidden Markov Model.
 Algebraic Decision Diagram (ADD) - A data structure of states and binary decisions, also called a Multi-Terminal Binary Decision Diagram (MTBDD).
 
+
 %TODO: Add the formal definitions for all the markovian models
 % Use the definition LaTeX environment, and base the definitions off of Raphaels paper.