1 files changed, 1 insertions, 1 deletions
diff --git a/src/rt/rust_kernel.h b/src/rt/rust_kernel.h
index 3ad7b396575..42ca469e8f1 100644
--- a/src/rt/rust_kernel.h
+++ b/src/rt/rust_kernel.h
@@ -107,7 +107,7 @@ public:
     void join_all_domains();
 
     void log_all_domain_state();
-    void log(uint32_t type_bits, char const *fmt, ...);
+    void log(uint32_t level, char const *fmt, ...);
     virtual ~rust_kernel();
 
     void *malloc(size_t size);