diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-10-10 18:08:56 -0400 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-10-10 18:08:56 -0400 |
commit | 4e91f51cb0e58a9d2d8c1f12e387ca2455d307e4 (patch) | |
tree | 98c74cefa8faa2cbf7aced5c21c2d85e6d8fe665 /test/regress/regress0/Makefile.am | |
parent | 089d232454e89dc44a6ca2136f9b408c9335d8f1 (diff) | |
parent | 5527b0c00639f24b11d5e1d4c69050d908b82400 (diff) |
Merge remote-tracking branch 'origin/1.4.x'
Diffstat (limited to 'test/regress/regress0/Makefile.am')
-rw-r--r-- | test/regress/regress0/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/regress/regress0/Makefile.am b/test/regress/regress0/Makefile.am index 89b620655..e7b8e3b73 100644 --- a/test/regress/regress0/Makefile.am +++ b/test/regress/regress0/Makefile.am @@ -106,7 +106,8 @@ CVC_TESTS = \ wiki.20.cvc \ wiki.21.cvc \ queries0.cvc \ - print_lambda.cvc + print_lambda.cvc \ + trim.cvc # Regression tests for TPTP inputs TPTP_TESTS = |