diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-06-06 17:52:47 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-06-06 17:52:47 +0000 |
commit | 51488222401441e67366a1286ce470f64de6e38d (patch) | |
tree | eac3a97b76a57ee02c0e3a48735057993ad56362 /test | |
parent | 391cfbd3f8e71fd4e9179b983551c5baf7122a94 (diff) |
also remove now-incorrect comment from makefile
Diffstat (limited to 'test')
-rw-r--r-- | test/regress/regress0/unconstrained/Makefile.am | 1 |
1 files changed, 0 insertions, 1 deletions
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 |