Commit 1a328eca authored by Philip Kaludercic's avatar Philip Kaludercic 🌝
Browse files

Revert "Merge branch 'in53uqud-master-patch-37570' into 'master'"

This reverts merge request !3
parent 78f42c9a
......@@ -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
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment