Fix unsupported option in regress1. (#4874)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 12 Aug 2020 06:41:45 +0000 (01:41 -0500)
committerGitHub <noreply@github.com>
Wed, 12 Aug 2020 06:41:45 +0000 (23:41 -0700)
commit0e39025474cb32a3b96ebc93afd8a761ca0ec9ef
treeccba518a1bf74b8dfb64e3655daa7ed419a6f7ad
parent66836c5fd879c92bddbca52d4b1802213f227a44
Fix unsupported option in regress1. (#4874)

Fixes regress1.
test/regress/regress1/quantifiers/issue4021-ind-opts.smt2