diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-10-15 06:08:48 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-15 06:08:48 -0700 |
commit | d16c43da9e4268a03d86fd5e7e3afbabae94ad2f (patch) | |
tree | 6b53bd5c7aa5dbb0a9d43a3788f9823a6b8327e2 /test/regress/regress0/decision/bug347.smtv1.smt2 | |
parent | 8c451415de55e27b24a204a0d35c07722bc832fc (diff) |
Fix regression (#3393)
PR #3388 didn't disable the regression correctly (due to using `REQUIRE`
instead of `REQUIRES`). This commit fixes the issue.
Diffstat (limited to 'test/regress/regress0/decision/bug347.smtv1.smt2')
0 files changed, 0 insertions, 0 deletions