From ca34590d9968d36feb1061b9e275d0f85f09863a Mon Sep 17 00:00:00 2001
From: Leo Tenenbaum <pommicket@gmail.com>
Date: Sun, 1 Sep 2019 17:54:33 -0400
Subject: trying to get unicode idents to work

---
 util/err.c | 1 -
 1 file changed, 1 deletion(-)

(limited to 'util')

diff --git a/util/err.c b/util/err.c
index 1a05e9d..72e94be 100644
--- a/util/err.c
+++ b/util/err.c
@@ -52,7 +52,6 @@ static void warn_print_header_(LineNo line) {
 }
 
 static void err_print_footer_(const char *context) {
-	err_fprint("\n\there --> ");
 	const char *end = strchr(context, '\n');
 	int has_newline = end != NULL;
 	if (!has_newline)
-- 
cgit v1.2.3