From 973e933ced94ea702b8aa0153a28829ece1b8421 Mon Sep 17 00:00:00 2001
From: Natalie Perna <nmperna@gmail.com>
Date: Tue, 6 Jun 2017 18:47:46 -0400
Subject: [PATCH] Correction

---
 Presentation/Presentation.lhs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Presentation/Presentation.lhs b/Presentation/Presentation.lhs
index e7830ab..e4df088 100644
--- a/Presentation/Presentation.lhs
+++ b/Presentation/Presentation.lhs
@@ -121,7 +121,7 @@ GHC Backend translates Agda into Haskell \citep{benke2007}
 \begin{itemize}
   \item Pretty good performance compiling with GHC
   \item Lack of GHC optimisations that occur around unsafe coercions \citep{fredriksson2011}
-  \item Additional passes over generated code necessary to improve
+  \item Additional passes over intermediate code necessary to improve
 \end{itemize}
 \end{frame}