From 68578fe6a8ec78a52da3ecbe54c2fce6b7d161d9 Mon Sep 17 00:00:00 2001
From: Niels Sascha Reedijk <niels.reedijk@gmail.com>
Date: Sat, 24 Jun 2023 18:22:18 +0100
Subject: [PATCH] device_manager: remove unused `#include <set>`

GCC 13 is more strict about what C++ features are available in a freestanding
(= build without standard library) build. The container types are not
available.

In this case the device manager does not use the std::set container.

Change-Id: Iaa2d71b40c9247fac8ccf2a0033c9fc288550dc7
Reviewed-on: https://review.haiku-os.org/c/haiku/+/6642
Reviewed-by: waddlesplash <waddlesplash@gmail.com>
---
 src/system/kernel/device_manager/device_manager.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/system/kernel/device_manager/device_manager.cpp b/src/system/kernel/device_manager/device_manager.cpp
index 96e88cd387..68e6b9c003 100644
--- a/src/system/kernel/device_manager/device_manager.cpp
+++ b/src/system/kernel/device_manager/device_manager.cpp
@@ -7,7 +7,6 @@
 #include <kdevice_manager.h>
 
 #include <new>
-#include <set>
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>