diff --git a/crates/examples/sel4cp/http-server/pds/server/src/timer_client.rs b/crates/examples/sel4cp/http-server/pds/server/src/timer_client.rs
index 51fcafb1c..687f5b07d 100644
--- a/crates/examples/sel4cp/http-server/pds/server/src/timer_client.rs
+++ b/crates/examples/sel4cp/http-server/pds/server/src/timer_client.rs
@@ -1,5 +1,5 @@
 use sel4cp::MessageInfo;
-use sel4cp_message::{types::EmptyMessage, MessageInfoExt as _};
+use sel4cp_message::MessageInfoExt as _;
 
 use sel4cp_http_server_example_sp804_driver_interface_types::*;