diff --git a/src/rt/rust_kernel.cpp b/src/rt/rust_kernel.cpp
index 361282fdb6d..e8e7e4af171 100644
--- a/src/rt/rust_kernel.cpp
+++ b/src/rt/rust_kernel.cpp
@@ -6,8 +6,6 @@
 #include "rust_util.h"
 #include "rust_scheduler.h"
 
-#include <vector>
-
 #define KLOG_(...)                              \
     KLOG(this, kern, __VA_ARGS__)
 #define KLOG_ERR_(field, ...)                   \
diff --git a/src/rt/rust_kernel.h b/src/rt/rust_kernel.h
index bb9df502586..0d96f78067f 100644
--- a/src/rt/rust_kernel.h
+++ b/src/rt/rust_kernel.h
@@ -2,10 +2,11 @@
 #ifndef RUST_KERNEL_H
 #define RUST_KERNEL_H
 
+#include "rust_globals.h"
+
 #include <map>
 #include <vector>
 
-#include "rust_globals.h"
 #include "memory_region.h"
 #include "rust_log.h"
 #include "rust_sched_reaper.h"