diff options
Diffstat (limited to 'test/regress')
-rw-r--r-- | test/regress/regress0/sets/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regress/regress0/sets/Makefile.am b/test/regress/regress0/sets/Makefile.am index 0fd1f05f4..ccedc7596 100644 --- a/test/regress/regress0/sets/Makefile.am +++ b/test/regress/regress0/sets/Makefile.am @@ -27,7 +27,6 @@ TESTS = \ jan27/ListConcat.hs.fqout.cvc4.177.smt2 \ jan27/ListConcat.hs.fqout.177minimized.smt2 \ jan27/ListElem.hs.fqout.cvc4.38.smt2 \ - jan28/TalkingAboutSets.hs.fqout.cvc4.3577.smt2 \ jan28/TalkingAboutSets.hs.fqout.3577minimized.smt2 \ jan30/UniqueZipper.hs.fqout.minimized10.smt2 \ jan30/UniqueZipper.hs.fqout.cvc4.10.smt2 \ @@ -73,6 +72,7 @@ EXTRA_DIST = $(TESTS) # disabled tests, yet distribute EXTRA_DIST += \ + jan28/TalkingAboutSets.hs.fqout.cvc4.3577.smt2 \ setofsets-disequal.smt2 # synonyms for "check" |