Remove redundant line

1 files changed, 1 insertions, 2 deletions

diff --git a/index.html b/index.html
index f3dc61f..253ad14 100644
--- a/index.html
+++ b/index.html
@@ -137,8 +137,7 @@ br = \\\\(y \\((((0 \\1) 1) 1) \((((0 3) 4) 5) \\0)))
               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>