summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorTianyi Liang <tianyi-liang@uiowa.edu>2015-02-05 18:27:47 -0600
committerTianyi Liang <tianyi-liang@uiowa.edu>2015-02-05 18:28:49 -0600
commit2bc57de07b8132ee584da614ae49e4d132818f67 (patch)
tree7fa90ef5a4139d19771b7297ea9a6088a0f12207 /test
parent45b0ba984fde882d3cd762076de0f9ddce2485c7 (diff)
Improved string performance, thanks to Peter's benchmarks.
Diffstat (limited to 'test')
-rw-r--r--test/regress/regress0/strings/Makefile.am1
1 files changed, 0 insertions, 1 deletions
diff --git a/test/regress/regress0/strings/Makefile.am b/test/regress/regress0/strings/Makefile.am
index 414904919..32876bccd 100644
--- a/test/regress/regress0/strings/Makefile.am
+++ b/test/regress/regress0/strings/Makefile.am
@@ -22,7 +22,6 @@ TESTS = \
at001.smt2 \
bug001.smt2 \
bug002.smt2 \
- cardinality.smt2 \
escchar.smt2 \
escchar_25.smt2 \
str001.smt2 \
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback