diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-05-11 11:49:45 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-11 11:49:45 -0700 |
commit | d74fae48252f04de4e72ed5337b1bf62c234d0fd (patch) | |
tree | 430f0b6266a89638c071f386a2ff3413862320ba /COPYING | |
parent | 1e0ff61c96c455287fd7986ce353dc2754f85d4f (diff) |
Remove obsolete unit test for ackermannization. (#1906)
With #1902, test/regress/regress1/bug520-eager.smt2 is now obsolete.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions