diff options
Diffstat (limited to 'test/unit/CMakeLists.txt')
-rw-r--r-- | test/unit/CMakeLists.txt | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/test/unit/CMakeLists.txt b/test/unit/CMakeLists.txt index 71568e337..f63f3f315 100644 --- a/test/unit/CMakeLists.txt +++ b/test/unit/CMakeLists.txt @@ -40,10 +40,6 @@ macro(cvc4_add_unit_test is_white name output_dir) target_link_libraries(${name} main-test) target_link_libraries(${name} GTest::GTest) target_link_libraries(${name} GTest::Main) - if(USE_LFSC) - # We don't link against LFSC, because CVC4 is already linked against it. - target_include_directories(${name} PRIVATE ${LFSC_INCLUDE_DIR}) - endif() if(USE_POLY) # We don't link against libpoly, because CVC4 is already linked against it. target_include_directories(${name} PRIVATE ${POLY_INCLUDE_DIR}) |