diff options
author | makaimann <makaim@stanford.edu> | 2019-12-02 16:53:27 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-12-02 16:53:27 -0800 |
commit | 274aa297537a7cbf268c8f8b73f671498e372fe0 (patch) | |
tree | 3a48508324c1573fe03ebb2fdf25e201c6308604 /test/unit/api/CMakeLists.txt | |
parent | 6bff71eab6102c1dd44698e75a0e1b0db72c2f65 (diff) |
Minor refactor: rename opterm_black to op_black (#3521)
Diffstat (limited to 'test/unit/api/CMakeLists.txt')
-rw-r--r-- | test/unit/api/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/unit/api/CMakeLists.txt b/test/unit/api/CMakeLists.txt index ca3c59750..7566c432d 100644 --- a/test/unit/api/CMakeLists.txt +++ b/test/unit/api/CMakeLists.txt @@ -2,7 +2,7 @@ # Add unit tests cvc4_add_unit_test_black(datatype_api_black api) -cvc4_add_unit_test_black(opterm_black api) +cvc4_add_unit_test_black(op_black api) cvc4_add_unit_test_black(solver_black api) cvc4_add_unit_test_black(sort_black api) cvc4_add_unit_test_black(term_black api) |