diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-01-27 22:12:33 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-01-27 22:12:33 +0000 |
commit | 04c345a4debffaa82bd3e360aaf7cb4c6f135ed7 (patch) | |
tree | 92b097688966bd5109ff8602dc4b594eb757c306 /test/regress/Makefile.am | |
parent | 7d859f91e4f70e9e3287576394fddc2ce0cf2def (diff) |
test framework fixes; bug 13 closed
Diffstat (limited to 'test/regress/Makefile.am')
-rw-r--r-- | test/regress/Makefile.am | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/test/regress/Makefile.am b/test/regress/Makefile.am index ba7fd1309..c59885975 100644 --- a/test/regress/Makefile.am +++ b/test/regress/Makefile.am @@ -35,4 +35,3 @@ TESTS = \ wiki.cvc \ logops.cvc \ comb2.shuffled-as.sat03-420.smt - |