From d3d2f021e7b3728202d39fc9afc685a590eb60d9 Mon Sep 17 00:00:00 2001
From: Pol Henarejos <pol.henarejos@cttc.es>
Date: Wed, 11 Sep 2024 23:15:29 +0200
Subject: [PATCH] Use debug header

Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
---
 src/pico_keys.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/pico_keys.h b/src/pico_keys.h
index 2e06918..29dd609 100644
--- a/src/pico_keys.h
+++ b/src/pico_keys.h
@@ -50,6 +50,7 @@
 #include "pico/unique_id.h"
 #endif
 #include <string.h>
+#include "debug.h"
 
 #if defined(ENABLE_EMULATION)
 #include <stdbool.h>