1 files changed, 9 insertions, 0 deletions
diff --git a/src/util.c b/src/util.c
index b512296..ba03ed9 100644
--- a/src/util.c
+++ b/src/util.c
@@ -11,6 +11,15 @@ noreturn void assume__failed(const char *file, int line, const char *expr) {
   panic_end();
 }
 
+void debugf__impl(const char *file, int line, const char *fmt, ...) {
+  fprintf(stderr, "%s:%d: ", file, line);
+  va_list ap;
+  va_start(ap, fmt);
+  vfprintf(stderr, fmt, ap);
+  va_end(ap);
+  fprintf(stderr, "\n");
+}
+
 noreturn void todo__impl(const char *file, int line, const char *fmt, ...) {
   panic_begin();
   printf("%s:%d: TODO: ", file, line);