distribute an .expect file. fixes a "make check" failure not for svn working dirs...

diff --git a/test/regress/regress0/quantifiers/Makefile.am b/test/regress/regress0/quantifiers/Makefile.am
index f6c8bdd63296c26359ec7bb4c209967f9de4ec94..19f74e42d65567286e39555590a4dad2513a9db0 100644 (file)
--- a/test/regress/regress0/quantifiers/Makefile.am
+++ b/test/regress/regress0/quantifiers/Makefile.am
@@ -52,6 +52,7 @@ TESTS =       \
 #
 
 EXTRA_DIST = $(TESTS) \
+       bug291.smt2.expect \
        array-unsat-simp3.smt2.expect \
        ex1.smt2.expect \
        ex7.smt2.expect