From dcfd1b9cc2a1ff43c595cfa17141d005328541d1 Mon Sep 17 00:00:00 2001
From: Daniel Langbein <daniel.langbein@fau.de>
Date: Thu, 7 Oct 2021 16:42:59 +0000
Subject: [PATCH] fix typo korekursion.tex

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

diff --git a/korekursion.tex b/korekursion.tex
index 1c08bd0..c299143 100644
--- a/korekursion.tex
+++ b/korekursion.tex
@@ -18,7 +18,7 @@ hd (genl t) = node t
 tl (genl t) = genl (left t)
 
 hd (genr t) = node t
-tl (genr t) = genl (right t)
+tl (genr t) = genr (right t)
 
 hd (const x) = x
 tl (const x) = const x
-- 
GitLab