From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Sun, 17 Jun 2012 01:59:53 +0000 (+0000)
Subject: fixing makefile error that brakes build
X-Git-Tag: cvc5-1.0.0~7987
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=edaf5ab57434d5d9a081c4925b96503d203f9de9;p=cvc5.git

fixing makefile error that brakes build
---

diff --git a/test/regress/regress0/quantifiers/Makefile.am b/test/regress/regress0/quantifiers/Makefile.am
index b72cad89e..97675b111 100644
--- 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