From 5db7f34e2cb41d5acbcd74038d8eeb5984e57eaf Mon Sep 17 00:00:00 2001
From: Natalie Perna <nmperna@gmail.com>
Date: Tue, 6 Jun 2017 12:43:21 -0400
Subject: [PATCH] Merge gen-plet application with previous slide.

---
 Presentation/Presentation.lhs | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/Presentation/Presentation.lhs b/Presentation/Presentation.lhs
index 76d3997..e7830ab 100644
--- a/Presentation/Presentation.lhs
+++ b/Presentation/Presentation.lhs
@@ -251,10 +251,11 @@ in t
 \end{spec}
 \end{subfigure}
 \end{figure}
-where |unreachable(u)|.
-\end{frame}
+\vspace{-1em}
+\footnotesize{\quad where |unreachable(u)|.}
+
+\rule{\textwidth}{0.4pt}
 
-\begin{frame}{Pattern Let Generating: Application}
 \lstinputlisting[style=diff]{Figures/Triangle_genplet.diff}
 \end{frame}