Various miscelaneous changes (#6496)

2023-05-03 17:24:10 +02:00
parent 41f13456c0
commit 34de77d429
74 changed files with 44 additions and 81 deletions
@@ -3,8 +3,6 @@
 // Refer to the license.txt file included.

 #include <algorithm>
-#include <cinttypes>
-#include <map>
 #include <memory>
 #include <utility>
 #include <vector>