enable bug regression for bug 382

(this commit was certified error- and warning-free by the test-and-commit script.)

diff --git a/test/regress/regress0/Makefile.am b/test/regress/regress0/Makefile.am
index 973285b552649e2c51b9b85c6f50dee37c3f7e86..d531a79a4611de5ba7ce568f2f1797f8d8eeb3a7 100644 (file)
--- a/test/regress/regress0/Makefile.am
+++ b/test/regress/regress0/Makefile.am
@@ -126,14 +126,14 @@ BUG_TESTS = \
        bug322.cvc \
        bug322b.cvc \
        bug339.smt2 \
-       bug365.smt2
+       bug365.smt2 \
+       bug382.smt2
 
 TESTS =        $(SMT_TESTS) $(SMT2_TESTS) $(CVC_TESTS) $(TPTP_TESTS) $(BUG_TESTS)
 
 EXTRA_DIST = $(TESTS) \
        simplification_bug4.smt2.expect \
-       bug216.smt2.expect \
-       bug382.smt2
+       bug216.smt2.expect
 
 if CVC4_BUILD_PROFILE_COMPETITION
 else