diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-03-13 13:44:07 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-13 11:44:07 -0700 |
commit | 5fe737f9513ef4c9c6f582d08bd8cd644a9e012c (patch) | |
tree | fae96ec6eb223ad6a62bf00c4872635379e7c952 /src | |
parent | 9efc82b701f1ab3a395306662f6d4fa37b130218 (diff) |
Remove regress for real to int (#4071)
Missed this one when real to int was disabled for quantifiers. Fixes regress1.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions