diff options
Diffstat (limited to 'src/rt/rust_kernel.h')
| -rw-r--r-- | src/rt/rust_kernel.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/rt/rust_kernel.h b/src/rt/rust_kernel.h index 3ad7b396..42ca469e 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); |