From 3ca7c081c6f648b831b3dd7a34395bb7bdf32d3d Mon Sep 17 00:00:00 2001
From: Serge Bazanski <q3k@q3k.org>
Date: Mon, 12 Jun 2023 13:01:31 +0200
Subject: [PATCH] usermodule: clean up unused display/ctx imports

---
 usermodule/mp_badge_link.c | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/usermodule/mp_badge_link.c b/usermodule/mp_badge_link.c
index 5e07e18c75..88b673b8fb 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)));
 }
-- 
GitLab