disable another test, after recent merges taking too long

diff --git a/test/regress/regress0/sets/Makefile.am b/test/regress/regress0/sets/Makefile.am
index 0fd1f05f4c541d738014cc4bf880f27c5e5bd693..ccedc7596557788edd6bc175fe4621dd5db8af5c 100644 (file)
--- 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"