diff options
Diffstat (limited to 'cmake/find_stp.cmake')
| -rw-r--r-- | cmake/find_stp.cmake | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cmake/find_stp.cmake b/cmake/find_stp.cmake index 7b10f1fe..2206cc88 100644 --- a/cmake/find_stp.cmake +++ b/cmake/find_stp.cmake @@ -44,7 +44,7 @@ if (ENABLE_SOLVER_STP) message(STATUS "Using STP shared library") list(APPEND KLEE_SOLVER_LIBRARIES "${STP_SHARED_LIBRARY}") endif() - list(APPEND KLEE_COMPONENT_EXTRA_INCLUDE_DIRS "${STP_INCLUDE_DIRS}") + list(APPEND KLEE_SOLVER_INCLUDE_DIRS ${STP_INCLUDE_DIRS}) message(STATUS "STP_DIR: ${STP_DIR}") set(ENABLE_STP 1) # For config.h else() |