From ab79ab5d5a95fd447260be1c103f1b4290d02d15 Mon Sep 17 00:00:00 2001
From: Marvin Borner <git@marvinborner.de>
Date: Sat, 12 Oct 2024 23:12:16 +0200
Subject: [PATCH] Remove redundant line

---
 index.html | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/index.html b/index.html
index f3dc61f..253ad14 100644
--- a/index.html
+++ b/index.html
@@ -137,8 +137,7 @@
               value="y = \(\(1 (0 0)) \(1 (0 0)))
 a = \\\\(y \\((((0 \((((0 \\0) 4) 5) 6)) 1) 1) \((((0 3) 4) 5) \\0)))
 b = \\\\(y \\((((0 1) \((((0 3) \\0) 5) 6)) \((((0 3) 4) \\0) 6)) 1))
-c = \\\\(y \\((((0 \((((0 \\0) 4) 5) 6)) 1) 1) \((((0 3) 4) 5) \\0)))
-\(y \\((((0 (1 a)) (1 b)) (1 b)) (1 c)))"
+\(y \\((((0 (1 a)) (1 b)) (1 b)) (1 a)))"
             >
               Recursive Nonsense
             </option>