diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-11-20 17:30:43 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-20 17:30:43 -0800 |
commit | 2a1e97cb8bc0ce7ab102035c3e481465fc59ec12 (patch) | |
tree | e21abf8e29cc04b79498d11757b37904345c32a9 /src/theory/fp | |
parent | 729e5f91dd6979cf529e449fa9217e1007d13349 (diff) |
Rename symfpu_literal.(h.in|cpp) -> floatingpoint_literal_symfpu.(h.in|cpp). (#5502)
Diffstat (limited to 'src/theory/fp')
-rw-r--r-- | src/theory/fp/fp_converter.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/fp/fp_converter.cpp b/src/theory/fp/fp_converter.cpp index b8e6f381c..85482bf6d 100644 --- a/src/theory/fp/fp_converter.cpp +++ b/src/theory/fp/fp_converter.cpp @@ -18,7 +18,7 @@ #include "theory/theory.h" // theory.h Only needed for the leaf test #include "util/floatingpoint.h" -#include "util/symfpu_literal.h" +#include "util/floatingpoint_literal_symfpu.h" #ifdef CVC4_USE_SYMFPU #include "symfpu/core/add.h" |