diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-09-13 09:39:19 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-13 16:39:19 +0000 |
commit | 4f5b2c6f5e52ce4bf6e0afd317cd7daaa33c1550 (patch) | |
tree | 26f0f2a76c0c8f5bf452eee28362e19d56d05a95 /src/CMakeLists.txt | |
parent | a63635697d6374fc2355a4bb587ee490eee4dc7b (diff) |
FP: Rename FpConverter to FpWordBlaster. (#7170)
Diffstat (limited to 'src/CMakeLists.txt')
-rw-r--r-- | src/CMakeLists.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 42434adab..223d3ff1f 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -705,8 +705,8 @@ libcvc5_add_sources( theory/evaluator.h theory/ext_theory.cpp theory/ext_theory.h - theory/fp/fp_converter.cpp - theory/fp/fp_converter.h + theory/fp/fp_word_blaster.cpp + theory/fp/fp_word_blaster.h theory/fp/fp_expand_defs.cpp theory/fp/fp_expand_defs.h theory/fp/theory_fp.cpp |