diff options
author | Marvin Borner | 2023-04-17 12:37:15 +0200 |
---|---|---|
committer | Marvin Borner | 2023-04-17 12:37:15 +0200 |
commit | c8505852fff816f8e319cb7492ff1fee55f33f23 (patch) | |
tree | fc7cb822f53605e0b5835aab8f217bddaa981554 /src/free.c | |
parent | f8e807e657766342ae4931d77edce8f1a5d27b56 (diff) |
Added logging and verbosity flag
Diffstat (limited to 'src/free.c')
-rw-r--r-- | src/free.c | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -5,6 +5,7 @@ #include <stdlib.h> #include <free.h> +#include <log.h> void free_term(struct term *term) { @@ -25,7 +26,7 @@ void free_term(struct term *term) free(term); break; default: - fprintf(stderr, "invalid type %d\n", term->type); + fatal("invalid type %d\n", term->type); } } |