diff options
| -rw-r--r-- | builtins/functions.c | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/builtins/functions.c b/builtins/functions.c index 21f02052..9cf05fe0 100644 --- a/builtins/functions.c +++ b/builtins/functions.c @@ -44,16 +44,11 @@ public void fail_source(const char *filename, int64_t start, int64_t end, CORD f CORD_vfprintf(stderr, fmt, args); va_end(args); - (void)filename; - (void)start; - (void)end; - /* file_t *file = filename ? load_file(filename) : NULL; if (filename && file) { fputs("\n", stderr); fprint_span(stderr, file, file->text+start, file->text+end, "\x1b[31;1m", 2, USE_COLOR); } - */ raise(SIGABRT); } |