From 9e5264770972e99e0c9663e15bb4783379a8b601 Mon Sep 17 00:00:00 2001
From: Jason2866 <24528715+Jason2866@users.noreply.github.com>
Date: Fri, 6 Oct 2023 12:45:06 +0200
Subject: [PATCH] include ctime needed for newest GCC (#8722)

---
 cores/esp32/HardwareSerial.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/cores/esp32/HardwareSerial.cpp b/cores/esp32/HardwareSerial.cpp
index 33014f13a..c5c24ab5a 100644
--- a/cores/esp32/HardwareSerial.cpp
+++ b/cores/esp32/HardwareSerial.cpp
@@ -2,6 +2,7 @@
 #include <stdio.h>
 #include <string.h>
 #include <inttypes.h>
+#include <ctime>
 
 #include "pins_arduino.h"
 #include "HardwareSerial.h"