From 28243150455df9a801c78f88630381600a141f12 Mon Sep 17 00:00:00 2001
From: "julian.speith" <julian.speith@mpi-sp.org>
Date: Tue, 16 Jul 2024 18:01:32 +0200
Subject: [PATCH] added z3_utils dep and fixed missing include

---
 .../include/netlist_preprocessing/netlist_preprocessing.h        | 1 +
 .../netlist_preprocessing/src/plugin_netlist_preprocessing.cpp   | 1 +
 2 files changed, 2 insertions(+)

diff --git a/plugins/netlist_preprocessing/include/netlist_preprocessing/netlist_preprocessing.h b/plugins/netlist_preprocessing/include/netlist_preprocessing/netlist_preprocessing.h
index 192254cf8e5..8779448021a 100644
--- a/plugins/netlist_preprocessing/include/netlist_preprocessing/netlist_preprocessing.h
+++ b/plugins/netlist_preprocessing/include/netlist_preprocessing/netlist_preprocessing.h
@@ -29,6 +29,7 @@
 #include "hal_core/utilities/result.h"
 
 #include <map>
+#include <vector>
 
 namespace hal
 {
diff --git a/plugins/netlist_preprocessing/src/plugin_netlist_preprocessing.cpp b/plugins/netlist_preprocessing/src/plugin_netlist_preprocessing.cpp
index eadeaa5c035..2a1aa5e8caf 100644
--- a/plugins/netlist_preprocessing/src/plugin_netlist_preprocessing.cpp
+++ b/plugins/netlist_preprocessing/src/plugin_netlist_preprocessing.cpp
@@ -26,6 +26,7 @@ namespace hal
     {
         std::set<std::string> retval;
         retval.insert("resynthesis");
+        retval.insert("z3_utils");
         return retval;
     }
 }    // namespace hal