diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-08-01 01:31:14 -0500 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-07-31 23:31:14 -0700 |
commit | def4b45fa41ddf128ab0b2e8f6bb3b8454974008 (patch) | |
tree | e39c3ca613d328f09985b2c0d3d25fd6679d2f68 /src/theory/strings | |
parent | ad61299aa24a83f935daedab32440d25006e18bb (diff) |
Make candidate rewrite match filtering handle polymorphic operators properly (#2236)
Currently, the discrimination tree index used for candidate rewrite rule filtering based on matching does not properly distinguish polymorphic operators, which leads to type errors. This makes the index handle them correctly.
Fixes #1923.
Diffstat (limited to 'src/theory/strings')
0 files changed, 0 insertions, 0 deletions