enabling fixed bug345 case

diff --git a/test/regress/regress0/decision/Makefile.am b/test/regress/regress0/decision/Makefile.am
index 70b47a3a948fa60d38e3aedcc6ebb772611e6d79..b098476fcd9e141b2e35f12b4af59b3e352b4f8b 100644 (file)
--- a/test/regress/regress0/decision/Makefile.am
+++ b/test/regress/regress0/decision/Makefile.am
@@ -22,6 +22,7 @@ TESTS =       \
        uflia-error0.smt2 \
        uflia-xs-09-16-3-4-1-5.smt \
        uflia-xs-09-16-3-4-1-5.delta03.smt \
+       aufbv-fuzz01.smt \      
        bug347.smt
 
 # Incorrect answers: