From 4511aa0af1e788772c5c09ef3f00b8d7198d6eb3 Mon Sep 17 00:00:00 2001 From: Lizzy Fleckenstein Date: Fri, 18 Aug 2023 14:02:01 +0200 Subject: remove 🅱️ MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- paradox.false | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/paradox.false b/paradox.false index ce55e42..e8b72b2 100644 --- a/paradox.false +++ b/paradox.false @@ -26,7 +26,7 @@ { read_char() } [ - ß^ { input <- getchar() } + ^ { input <- getchar() } { if input = newline } $10=$[ l; 1+ l: { increment line_number } -- cgit v1.2.3