tex nitpick

m4lvin · m4lvin · commit ae6f37273211 · 2022-01-16T15:22:46.000+01:00
diff --git a/Conclusion.tex b/Conclusion.tex
@@ -1,5 +1,4 @@
 
-\section{Conclusion}
-\label{sec:Conclusion}
+\section{Conclusion}\label{sec:Conclusion}
 
 Finally, we can see that \cite{liuWang2013:agentTypesHLPE} is a nice paper.
diff --git a/lib/Basics.lhs b/lib/Basics.lhs
@@ -1,6 +1,5 @@
 
-\section{The most basic library}
-\label{sec:Basics}
+\section{The most basic library}\label{sec:Basics}
 
 This section describes a module which we will import later on.
 
