diff --git a/usermodule/mp_badge_link.c b/usermodule/mp_badge_link.c
index 5e07e18c7512e3142667015ce6498990942eac70..88b673b8fb8eb1f66d937e950faa591d0f3fa648 100644
--- a/usermodule/mp_badge_link.c
+++ b/usermodule/mp_badge_link.c
@@ -14,12 +14,9 @@
 #include "badge23/audio.h"
 #include "badge23/leds.h"
 #include "badge23/captouch.h"
-#include "badge23/display.h"
 #include "badge23/spio.h"
 #include "badge23/espan.h"
 
-mp_obj_t mp_ctx_from_ctx(Ctx *ctx);
-
 STATIC mp_obj_t mp_get_active(mp_obj_t pin_mask) {
     return mp_obj_new_int(spio_badge_link_get_active(mp_obj_get_int(pin_mask)));
 }