From e7be1171dacab7dbb8569bef9b9d91c930ad9ab8 Mon Sep 17 00:00:00 2001
From: Pol Henarejos <pol.henarejos@cttc.es>
Date: Fri, 1 May 2026 18:30:05 +0200
Subject: [PATCH] Fix include header.

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

diff --git a/src/usb/hid/hid.c b/src/usb/hid/hid.c
index 155c743..f5b55aa 100644
--- a/src/usb/hid/hid.c
+++ b/src/usb/hid/hid.c
@@ -15,6 +15,7 @@
  * along with this program. If not, see <https://www.gnu.org/licenses/>.
  */
 
+#include <stdio.h>
 #include "picokeys.h"
 #include "serial.h"
 #include "pico_time.h"