diff --git a/fpga/include/villas/fpga/card.hpp b/fpga/include/villas/fpga/card.hpp
index 09ed0ecde..d327878b2 100644
--- a/fpga/include/villas/fpga/card.hpp
+++ b/fpga/include/villas/fpga/card.hpp
@@ -27,8 +27,6 @@ public:
   std::shared_ptr<kernel::vfio::Container> vfioContainer;
   std::shared_ptr<kernel::vfio::Device> vfioDevice;
 
-  std::list<std::string> ignored_ip_names;
-
   // Slave address space ID to access the PCIe address space from the
   // FPGA
   MemoryManager::AddressSpaceId addrSpaceIdDeviceToHost;