diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-04-05 10:21:55 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-05 15:21:55 +0000 |
commit | 73bc16fbba65ca8d8cdc9dd6674ae9280658ee9a (patch) | |
tree | 41175283436792bb3332bc465793d901ff55544e /THANKS | |
parent | cf5cd9981f92985e647df5bb9244679715951e8c (diff) |
Fix subtyping for sets care graph (#6278)
We were getting types for set singleton/membership in a way that was unsafe for subtyping, which was leading to incorrectly computing care graphs for sets of reals.
Fixes #5705.
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions