diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-12-08 01:50:10 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-08 08:50:10 +0100 |
commit | 384ab75e8637e872b568b6f493612d308f3f15ee (patch) | |
tree | a2ae487f54f33653dcebef38aadb1dfdddd620d6 /.clang-format | |
parent | 0309ef4aa7462c6fa2a65c1ef408dc9063bb1f21 (diff) |
Make term indices in the strings base solver aware of types (#5589)
This is required for handling inputs that combine strings and sequences.
Fixes #5542.
Diffstat (limited to '.clang-format')
0 files changed, 0 insertions, 0 deletions