1 files changed, 0 insertions, 1 deletions
diff --git a/kernel/log.h b/kernel/log.h
index 3328018f3..3e1facae8 100644
--- a/kernel/log.h
+++ b/kernel/log.h
@@ -130,7 +130,6 @@ void log_spacer();
 void log_push();
 void log_pop();
 
-void log_checkpoint();
 void log_backtrace(const char *prefix, int levels);
 void log_reset_stack();
 void log_flush();