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 /src/printer | |
| parent | 1e0ff61c96c455287fd7986ce353dc2754f85d4f (diff) | |
Remove obsolete unit test for ackermannization. (#1906)
With #1902, test/regress/regress1/bug520-eager.smt2 is now obsolete.
Diffstat (limited to 'src/printer')
0 files changed, 0 insertions, 0 deletions