From 1a328eca6feef8f7e8594668e54d1af52064ea8c Mon Sep 17 00:00:00 2001
From: Philip Kaludercic <philip.kaludercic@fau.de>
Date: Fri, 8 Oct 2021 12:33:32 +0000
Subject: [PATCH] Revert "Merge branch 'in53uqud-master-patch-37570' into
 'master'"

This reverts merge request !3
---
 korekursion.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/korekursion.tex b/korekursion.tex
index c299143..1c08bd0 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) = genr (right t)
+tl (genr t) = genl (right t)
 
 hd (const x) = x
 tl (const x) = const x
-- 
GitLab