1 files changed, 0 insertions, 1 deletions
diff --git a/demo/demo.h b/demo/demo.h
index ca6199e..f01b36c 100644
--- a/demo/demo.h
+++ b/demo/demo.h
@@ -26,7 +26,6 @@ void console_init(void);
 void print(const char *fmt, ...);
 void read_line(char *vuf, unsigned size);
 
-int cpus_ready(void);
 void run_cpu(unsigned num);
 void run_cpus(unsigned mask);
 void halt_cpu(unsigned num);