added z3_utils dep and fixed missing include

emsec · Jul 16, 2024 · 2824315 · 2824315
1 parent 4948797
commit 2824315
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git 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
@@ -26,6 +26,7 @@ namespace hal
     {
         std::set<std::string> retval;
         retval.insert("resynthesis");
+        retval.insert("z3_utils");
         return retval;
     }
 }    // namespace hal