diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-05-27 12:08:24 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-27 19:08:24 +0000 |
| commit | c95d4c5473e8c26832fef89a9a42275517a42613 (patch) | |
| tree | 36f42cad17c22b39c232c97b111df1e1e9a382f2 /test/regress/regress0 | |
| parent | 1483676841847216a7cfe15e5d201a924739d014 (diff) | |
FP: Rename FLOATINGPOINT_PLUS to FLOATINGPOINT_ADD. (#6628)
This is to make it consistent with the name of the SMT-LIB operator
(fp.add).
Diffstat (limited to 'test/regress/regress0')
0 files changed, 0 insertions, 0 deletions