diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-09-29 00:04:13 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2021-09-29 00:04:13 -0700 |
| commit | aee4dc103ee174d633de6e87edce2b97bbf156f9 (patch) | |
| tree | 0a0f959f87773028c67be9333f2a8352398ddd22 /test/regress | |
| parent | 02f6d2b5e2aba3760ffacdb40b76ce9f5625066f (diff) | |
[API] Update comments w.r.t. SymFPUupdateCvc5h
Previously, SymFPU was an optional dependency but it is now required.
The comments in the API were not updated to reflect that. This commit
fixes the comments.
Diffstat (limited to 'test/regress')
0 files changed, 0 insertions, 0 deletions