diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-03-26 22:26:06 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-03-26 22:26:06 +0000 |
| commit | 390477967f6179b03754c27be027b22ea77052bc (patch) | |
| tree | 25392eab19db820315473251172e81159f04d576 /test/regress/regress0/bv | |
| parent | 070dfb543ea5f29681259a9317fa2e7599bdb26a (diff) | |
fix for bug 253, was propagating an asserted literal
also fixing some compile warnings in attributes
Diffstat (limited to 'test/regress/regress0/bv')
| -rw-r--r-- | test/regress/regress0/bv/core/Makefile.am | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/test/regress/regress0/bv/core/Makefile.am b/test/regress/regress0/bv/core/Makefile.am index 15c2f699f..f1a12e165 100644 --- a/test/regress/regress0/bv/core/Makefile.am +++ b/test/regress/regress0/bv/core/Makefile.am @@ -67,9 +67,7 @@ TESTS = \ a78test0002.smt \ a95test0002.smt \ bitvec0.smt \ - bitvec2.smt - -EXTRA_DIST = $(TESTS) \ + bitvec2.smt \ bitvec3.smt \ bitvec5.smt |