From b3e0f41cf33fce62bfc335acb4f5aa5edd830c55 Mon Sep 17 00:00:00 2001
From: Pascal Bauer <pascal.bauer@rwth-aachen.de>
Date: Mon, 24 Feb 2025 16:59:41 +0100
Subject: [PATCH] chore: remove unused header

Signed-off-by: Pascal Bauer <pascal.bauer@rwth-aachen.de>
---
 fpga/include/villas/fpga/card.hpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/fpga/include/villas/fpga/card.hpp b/fpga/include/villas/fpga/card.hpp
index e09cac06f..3b77fd85e 100644
--- a/fpga/include/villas/fpga/card.hpp
+++ b/fpga/include/villas/fpga/card.hpp
@@ -11,7 +11,6 @@
 #pragma once
 
 #include <filesystem>
-#include <set>
 #include <string>
 
 #include <villas/fpga/core.hpp>