1 files changed, 1 insertions, 0 deletions
diff --git a/src/rt/rust_kernel.h b/src/rt/rust_kernel.h
index bea5afd5de3..f61935c8c48 100644
--- a/src/rt/rust_kernel.h
+++ b/src/rt/rust_kernel.h
@@ -106,6 +106,7 @@ public:
 
     void log_all_scheduler_state();
     void log(uint32_t level, char const *fmt, ...);
+    void fatal(char const *fmt, ...);
     virtual ~rust_kernel();
 
     void *malloc(size_t size);