From: Morgan Deters <mdeters@gmail.com>
Date: Wed, 6 Jun 2012 17:52:47 +0000 (+0000)
Subject: also remove now-incorrect comment from makefile
X-Git-Tag: cvc5-1.0.0~8118
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=51488222401441e67366a1286ce470f64de6e38d;p=cvc5.git

also remove now-incorrect comment from makefile
---

diff --git a/test/regress/regress0/unconstrained/Makefile.am b/test/regress/regress0/unconstrained/Makefile.am
index d3adc2167..236a3d4c5 100644
--- a/test/regress/regress0/unconstrained/Makefile.am
+++ b/test/regress/regress0/unconstrained/Makefile.am
@@ -62,7 +62,6 @@ TESTS =	\
 	uf2.smt2 \
 	xor.smt2
 
-# bvbool3 takes too long for regress0
 EXTRA_DIST = $(TESTS)
 
 #if CVC4_BUILD_PROFILE_COMPETITION