From 7764de4e10dd111546063dc95043f88e448633f1 Mon Sep 17 00:00:00 2001
From: Pol Henarejos <pol.henarejos@cttc.es>
Date: Thu, 12 Jan 2023 20:05:16 +0100
Subject: [PATCH] Unused headers.

Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
---
 src/hsm/oid.h | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/hsm/oid.h b/src/hsm/oid.h
index 9a5aeda..0a58de7 100644
--- a/src/hsm/oid.h
+++ b/src/hsm/oid.h
@@ -18,9 +18,6 @@
 #ifndef _OID_H_
 #define _OID_H_
 
-#include <stdlib.h>
-#include "pico/stdlib.h"
-
 #define OID_BSI_DE                      "\x04\x00\x7F\x00\x07"
 
 #define OID_ECKA                        OID_BSI_DE "\x01\x01\x05"