diff options
Diffstat (limited to 'test/unit/Makefile.in')
| -rw-r--r-- | test/unit/Makefile.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/test/unit/Makefile.in b/test/unit/Makefile.in index a3bb01929..4d20d59de 100644 --- a/test/unit/Makefile.in +++ b/test/unit/Makefile.in @@ -218,8 +218,7 @@ top_srcdir = @top_srcdir@ UNIT_TESTS = \ expr/node_white \ expr/node_black \ - parser/cvc/cvc_parser_black \ - parser/smt/smt_parser_black + parser/parser_black # things that aren't tests but that tests rely on and need to |