push

[cc1516.git] / deliverables / report / report.tex

diff --git a/deliverables/report/report.tex b/deliverables/report/report.tex
index 2b7b772..023728b 100644 (file)
--- a/deliverables/report/report.tex
+++ b/deliverables/report/report.tex
@@ -3,7 +3,7 @@
 \usepackage{listings}
 \usepackage{clean}
 \usepackage{spl}
-\usepackage{hyperref}
+\usepackage[hidelinks]{hyperref}
 \usepackage[a4paper]{geometry}
 \usepackage{proof}
 \usepackage{lscape}
@@ -59,7 +59,7 @@
 
 \newpage
 \begin{landscape}
-\subsection{Inference rules} \label{sec:infRules}
+\subsection{Inference rules}\label{sec:infRules}
 \input{infRules.tex}
 \end{landscape}