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/arr1.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/arr1.smtv1.smt2')
0 files changed, 0 insertions, 0 deletions