X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Ffinal-presentation.git;a=blobdiff_plain;f=christiaan%2Freductioncircuit.lhs;h=be3c2d60d601cf1ae64f632c9847a11d7b1ddb06;hp=a4f55f68bea1383d702e07144c09deb06f590ae0;hb=b614e04b171194ad19ea2597a7028f84cc03389c;hpb=e3bd36136d4f614710fc48c97a665501c10df819

diff --git a/christiaan/reductioncircuit.lhs b/christiaan/reductioncircuit.lhs
index a4f55f6..be3c2d6 100644
--- a/christiaan/reductioncircuit.lhs
+++ b/christiaan/reductioncircuit.lhs
@@ -1,4 +1,4 @@
-\section{Restrictions}
+\subsection{Restrictions}
 %include talk.fmt
 \frame{
 \frametitle{Too Restrictive?}
@@ -15,7 +15,7 @@
 \end{itemize}
 }
 
-\section{Reduction circuit}
+\subsection{Reduction circuit}
 
 \frame{
 \frametitle{Reduction Circuit}