diff options
Diffstat (limited to 'test/regress/regress0/arrays/Makefile.am')
| -rw-r--r-- | test/regress/regress0/arrays/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/regress/regress0/arrays/Makefile.am b/test/regress/regress0/arrays/Makefile.am index 2e302f1ee..e3b30827c 100644 --- a/test/regress/regress0/arrays/Makefile.am +++ b/test/regress/regress0/arrays/Makefile.am @@ -13,6 +13,7 @@ TESTS = \ EXTRA_DIST = $(TESTS) \ incorrect1.smt \ incorrect2.smt \ + incorrect2.minimized.smt \ incorrect3.smt \ incorrect4.smt \ incorrect5.smt \ |