add passing regression

diff --git a/test/regress/regress0/decision/Makefile.am b/test/regress/regress0/decision/Makefile.am
index 54273603e8747c41656ab4c52d803bc842d428c0..e443d72011a2ccbd595d439488254d7b56609a69 100644 (file)
--- a/test/regress/regress0/decision/Makefile.am
+++ b/test/regress/regress0/decision/Makefile.am
@@ -16,13 +16,13 @@ TESTS =     \
        bitvec0.delta01.smt \
        bitvec5.smt \
        quant-Arrays_Q1-noinfer.smt2 \
+       quant-symmetric_unsat_7.smt2 \
        uflia-error0.smt2 \
        uflia-xs-09-16-3-4-1-5.smt \
        uflia-xs-09-16-3-4-1-5.delta03.smt \
        bug347.smt
 
 # Incorrect answers:
-#      quant-symmetric_unsat_7.smt2 \
 #      aufbv-fuzz01.smt \
 #