diff options
Diffstat (limited to 'src/util/CMakeLists.txt')
| -rw-r--r-- | src/util/CMakeLists.txt | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/util/CMakeLists.txt b/src/util/CMakeLists.txt index e495fd4d6..79a44f426 100644 --- a/src/util/CMakeLists.txt +++ b/src/util/CMakeLists.txt @@ -20,7 +20,7 @@ configure_file(rational.h.in rational.h) configure_file(integer.h.in integer.h) configure_file(real_algebraic_number.h.in real_algebraic_number.h) -libcvc4_add_sources( +libcvc5_add_sources( abstract_value.cpp abstract_value.h bin_heap.h @@ -84,13 +84,13 @@ libcvc4_add_sources( ) if(CVC5_USE_CLN_IMP) - libcvc4_add_sources(rational_cln_imp.cpp integer_cln_imp.cpp) + libcvc5_add_sources(rational_cln_imp.cpp integer_cln_imp.cpp) endif() if(CVC5_USE_GMP_IMP) - libcvc4_add_sources(rational_gmp_imp.cpp integer_gmp_imp.cpp) + libcvc5_add_sources(rational_gmp_imp.cpp integer_gmp_imp.cpp) endif() if(CVC5_USE_POLY_IMP) - libcvc4_add_sources(real_algebraic_number_poly_imp.cpp real_algebraic_number_poly_imp.h) + libcvc5_add_sources(real_algebraic_number_poly_imp.cpp real_algebraic_number_poly_imp.h) endif() |