diff options
Diffstat (limited to 'test/unit/CMakeLists.txt')
-rw-r--r-- | test/unit/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/unit/CMakeLists.txt b/test/unit/CMakeLists.txt index f63f3f315..7163b5a12 100644 --- a/test/unit/CMakeLists.txt +++ b/test/unit/CMakeLists.txt @@ -38,8 +38,8 @@ macro(cvc4_add_unit_test is_white name output_dir) target_compile_definitions(${name} PRIVATE ${CVC4_UNIT_TEST_FLAGS_BLACK}) gtest_add_tests(TARGET ${name}) target_link_libraries(${name} main-test) - target_link_libraries(${name} GTest::GTest) target_link_libraries(${name} GTest::Main) + target_link_libraries(${name} GTest::GTest) if(USE_POLY) # We don't link against libpoly, because CVC4 is already linked against it. target_include_directories(${name} PRIVATE ${POLY_INCLUDE_DIR}) |