diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt
index e7c18513b..176759aac 100644
--- a/test/CMakeLists.txt
+++ b/test/CMakeLists.txt
@@ -15,9 +15,6 @@ if (BUILD_TESTS)
     if (HAVE_RULES)
         target_link_libraries(testrunner ${PCRE_LIBRARY})
     endif()
-    if (USE_Z3)
-        target_link_libraries(testrunner ${Z3_LIBRARIES})
-    endif()
     if (WIN32 AND NOT BORLAND)
         if(NOT MINGW)
             target_link_libraries(testrunner Shlwapi.lib)