diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-11-03 11:55:52 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-03 13:55:52 -0600 |
| commit | 81ac7cd609ef011b615dccefde702fd5b3a5c39f (patch) | |
| tree | 1e8e494825322e13cf891aff78cfeb52dcef9b5e /src/expr/term_context_stack.cpp | |
| parent | e2aff722e0b1072e90bd0c77e7030957364283cc (diff) | |
Add support for printing `re.loop` and `re.^` (#5392)
In the new SMT-LIB string standard, re.loop and re.^ are indexed
operators but the printer was not updated to print them correctly. This
commit adds support for printing re.loop and re.^.
Diffstat (limited to 'src/expr/term_context_stack.cpp')
0 files changed, 0 insertions, 0 deletions