From 79f76a176daed7289b1e7454353bc0418f38f7e3 Mon Sep 17 00:00:00 2001
From: Pol Henarejos <pol.henarejos@cttc.es>
Date: Wed, 19 Jun 2024 23:36:41 +0200
Subject: [PATCH] Fix time.h header.

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

diff --git a/src/hsm/cmd_extras.c b/src/hsm/cmd_extras.c
index 211c796..eaea88e 100644
--- a/src/hsm/cmd_extras.c
+++ b/src/hsm/cmd_extras.c
@@ -19,9 +19,9 @@
 #include "mbedtls/ecdh.h"
 #if !defined(ENABLE_EMULATION) && !defined(ESP_PLATFORM)
 #include "hardware/rtc.h"
-#include <time.h>
 #else
 #include <sys/time.h>
+#include <time.h>
 #endif
 #include "files.h"
 #include "random.h"