diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-12-01 23:50:45 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-01 23:50:45 -0800 |
commit | 41b5707b9aef9cae3e96f2cce48fe83e49fc4a32 (patch) | |
tree | 04ab0b1845bb2d78bf2fb642e5feff35e8bb259b /test/unit/parser/CMakeLists.txt | |
parent | b5ca3b62dd532f119355210b870b7f25a04a4500 (diff) | |
parent | 901cea314c4dc3be411c345e42c858063fe5aa1b (diff) |
Merge branch 'master' into fix_cdlistfix_cdlist
Diffstat (limited to 'test/unit/parser/CMakeLists.txt')
-rw-r--r-- | test/unit/parser/CMakeLists.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/unit/parser/CMakeLists.txt b/test/unit/parser/CMakeLists.txt index 1bdcbd5f5..4202ea0c9 100644 --- a/test/unit/parser/CMakeLists.txt +++ b/test/unit/parser/CMakeLists.txt @@ -11,5 +11,5 @@ #-----------------------------------------------------------------------------# # Add unit tests -cvc4_add_unit_test_black(parser_black parser) -cvc4_add_unit_test_black(parser_builder_black parser) +cvc4_add_cxx_unit_test_black(parser_black parser) +cvc4_add_cxx_unit_test_black(parser_builder_black parser) |