fixing makefile error that brakes build

diff --git a/test/regress/regress0/quantifiers/Makefile.am b/test/regress/regress0/quantifiers/Makefile.am
index b72cad89e5af4d8b8c36c094a50e8bd0ae456914..97675b1118f3de7c0a59d61cfee24d1371f4193b 100644 (file)
--- a/test/regress/regress0/quantifiers/Makefile.am
+++ b/test/regress/regress0/quantifiers/Makefile.am
@@ -37,6 +37,7 @@ TESTS =       \
 
 # removed because it now reports unknown
 #      symmetric_unsat_7.smt2 \
+#
 
 
 # removed because they take more than 20s