From 2f6a14e9433688abae58eec1e80727366dbab0ef Mon Sep 17 00:00:00 2001
From: Julian Ospald <jospald@fh-bielefeld.de>
Date: Sun, 19 Apr 2015 17:54:45 +0200
Subject: [PATCH] Fix error in polymorphism slide

---
 VL2.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/VL2.tex b/VL2.tex
index cd008d4..21f619b 100644
--- a/VL2.tex
+++ b/VL2.tex
@@ -98,7 +98,7 @@ We can even have more generic stuff like:
 \begin{haskellcode}
 f :: a -> b
 \end{haskellcode}
-Whatever the function does... it has something of one type and returns something of another type (\emph{not} the same). That's all we know.
+Whatever the function does... it has something of one type and returns something of another type (it could be the same type, but doesn't need to). That's all we know.
 \vspace{\baselineskip}
 \\
 \pause