From f53ad2391a08aa3fe5512bb9d0fd9705da4596cd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Oliver=20St=C3=B6neberg?=
 <firewave@users.noreply.github.com>
Date: Thu, 21 Apr 2022 12:54:16 +0200
Subject: [PATCH] CMakeLists.txt: removed left-over Z3 code (#4035)

---
 test/CMakeLists.txt | 3 ---
 1 file changed, 3 deletions(-)

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)