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/regress/regress0/unconstrained | |
| parent | 391cfbd3f8e71fd4e9179b983551c5baf7122a94 (diff) | |
also remove now-incorrect comment from makefile
Diffstat (limited to 'test/regress/regress0/unconstrained')
| -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 |