diff --git a/common/lib/kernel/devices/pci_device.cpp b/common/lib/kernel/devices/pci_device.cpp index 50ebe27fb..2324c6013 100644 --- a/common/lib/kernel/devices/pci_device.cpp +++ b/common/lib/kernel/devices/pci_device.cpp @@ -18,10 +18,9 @@ #include #include -#include +#include #include #include -#include using namespace villas::kernel::devices; using villas::utils::write_to_file; @@ -331,7 +330,7 @@ std::optional> PciDevice::driver() const { if (ret < 0) throw SystemError("Failed to follow link: {}", sysfs); - auto driver = std::make_optional(std::make_unique( + auto driver = std::make_optional(std::make_unique( "/sys/bus/pci/drivers/" + std::string(basename(syml)))); return driver; }