diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-11-20 14:30:57 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-20 14:30:57 -0800 |
commit | fedb3256b37511943c4a843327d36da31480be69 (patch) | |
tree | 3d452051781913fca7d1db9a94c610c5657a9e30 /src/printer/smt2 | |
parent | 13a107e13f52c6418328eb798da315ca2fa1a1ca (diff) |
FloatingPoint: Separate out symFPU glue code. (#5492)
This works towards having the symFPU headers only included where it's
absolutely needed (only in the .cpp files, not in any other headers).
Note: src/util/floatingpoint.h.in will be converted to a regular .h file
in the next step to simplify reviewing.
Diffstat (limited to 'src/printer/smt2')
0 files changed, 0 insertions, 0 deletions