diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-08-13 14:15:17 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-13 14:15:17 -0500 |
commit | ddf6526f9f3ac2410849fbf8ebf0eac09ff2a28a (patch) | |
tree | fa6355c317248c1e8ac1601f98533fb1d95c4f6b /src/smt | |
parent | fb2a0d9aa09aa21f465aa8d62eab8492610052c3 (diff) |
Fixes for corner case of decision tree learning with different types (#4887)
There was a last minute change was a typo when merging 103b5ea .
Also the fix in that commit needed to be slightly more robust to the case when either branch of an ITE had a different sygus type.
Fixes regress1.
Diffstat (limited to 'src/smt')
0 files changed, 0 insertions, 0 deletions