diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-08-12 01:41:45 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-11 23:41:45 -0700 |
commit | 0e39025474cb32a3b96ebc93afd8a761ca0ec9ef (patch) | |
tree | ccba518a1bf74b8dfb64e3655daa7ed419a6f7ad /src/theory | |
parent | 66836c5fd879c92bddbca52d4b1802213f227a44 (diff) |
Fix unsupported option in regress1. (#4874)
Fixes regress1.
Diffstat (limited to 'src/theory')
0 files changed, 0 insertions, 0 deletions