fixed linker inlcude for bitwuzla

emsec · Sep 11, 2023 · 68ac9d2 · 68ac9d2
1 parent c586bda
commit 68ac9d2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/netlist/CMakeLists.txt b/src/netlist/CMakeLists.txt
@@ -38,7 +38,7 @@ target_link_libraries(netlist
                         RapidJSON::RapidJSON
                         ${Z3_LIBRARIES}
                         ${ABC_LIBRARY}
-                        ${BITWUZLA_LIBRARIES}
+                        ${BITWUZLA_LINK_LIBRARIES}
                       )
 
 install(TARGETS netlist