From 4c8b11c2ed44c764465ddfda1c15314bc6353df2 Mon Sep 17 00:00:00 2001
From: Pascal Bauer <pascal.bauer@rwth-aachen.de>
Date: Sun, 6 Oct 2024 22:12:29 +0200
Subject: [PATCH] fix header

---
 common/include/villas/kernel/devices/ip_device_reader.hpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/common/include/villas/kernel/devices/ip_device_reader.hpp b/common/include/villas/kernel/devices/ip_device_reader.hpp
index 341049bae..7eb4c6265 100644
--- a/common/include/villas/kernel/devices/ip_device_reader.hpp
+++ b/common/include/villas/kernel/devices/ip_device_reader.hpp
@@ -16,7 +16,7 @@
 #include <filesystem>
 
 #include <villas/kernel/devices/ip_device.hpp>
-#include <villas/kernel/devices/utils.hpp>
+#include <villas/utils.hpp>
 
 class IpDeviceReader {
 public:
@@ -25,7 +25,7 @@ public:
     std::vector<villas::kernel::devices::IpDevice> devices;
 
     const std::vector<std::string> devicetree_names =
-        villas::kernel::utils::read_names_in_directory(devices_directory);
+        villas::utils::read_names_in_directory(devices_directory);
     for (auto devicetree_name : devicetree_names) {
       auto path_to_device =
           devices_directory / std::filesystem::path(devicetree_name);