trying to get unicode idents to work

1 files changed, 0 insertions, 1 deletions

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)