diff options
Diffstat (limited to 'test/regress/regress0/nl/Makefile.am')
| -rw-r--r-- | test/regress/regress0/nl/Makefile.am | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/test/regress/regress0/nl/Makefile.am b/test/regress/regress0/nl/Makefile.am index 7e4b391cc..d26d53d07 100644 --- a/test/regress/regress0/nl/Makefile.am +++ b/test/regress/regress0/nl/Makefile.am @@ -68,8 +68,6 @@ TESTS = \ nta/sin-init-tangents.smt2 \ nta/cos1-tc.smt2 -# unsolved : garbage_collect.cvc - EXTRA_DIST = $(TESTS) # synonyms for "check" |