From 3998c4330c38c3b62566f8c894041956ec93a4f4 Mon Sep 17 00:00:00 2001
From: Sheppy <jupiterfisch@web.de>
Date: Wed, 7 Oct 2015 21:23:07 +0200
Subject: [PATCH] 	modified:   SystemF.tex

---
 Vorlesungen/ThProg/SystemF.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Vorlesungen/ThProg/SystemF.tex b/Vorlesungen/ThProg/SystemF.tex
index 477a951..fa99519 100644
--- a/Vorlesungen/ThProg/SystemF.tex
+++ b/Vorlesungen/ThProg/SystemF.tex
@@ -69,7 +69,7 @@
 	
 	$
 	\{
-		
+			f		
 	\}
 	$
 	\\