From 2cf7fc54271ea5528e63269f0273373130111ad6 Mon Sep 17 00:00:00 2001
From: Benoit Blanchon <git@benoitblanchon.fr>
Date: Fri, 16 Jun 2023 15:29:26 +0200
Subject: [PATCH] Remove unused `#include`s

---
 src/ArduinoJson/Memory/ResourceManager.hpp | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/ArduinoJson/Memory/ResourceManager.hpp b/src/ArduinoJson/Memory/ResourceManager.hpp
index ae5c0d9e..165473fa 100644
--- a/src/ArduinoJson/Memory/ResourceManager.hpp
+++ b/src/ArduinoJson/Memory/ResourceManager.hpp
@@ -8,11 +8,8 @@
 #include <ArduinoJson/Memory/Allocator.hpp>
 #include <ArduinoJson/Memory/StringNode.hpp>
 #include <ArduinoJson/Polyfills/assert.hpp>
-#include <ArduinoJson/Polyfills/mpl/max.hpp>
 #include <ArduinoJson/Strings/StringAdapters.hpp>
 
-#include <string.h>  // memmove
-
 ARDUINOJSON_BEGIN_PRIVATE_NAMESPACE
 
 class ResourceManager {