diff options
Diffstat (limited to 'test/unit/Makefile.am')
-rw-r--r-- | test/unit/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/unit/Makefile.am b/test/unit/Makefile.am index bb8cdf7fe..dc53bff61 100644 --- a/test/unit/Makefile.am +++ b/test/unit/Makefile.am @@ -2,7 +2,7 @@ UNIT_TESTS = \ theory/logic_info_white \ theory/theory_engine_white \ - theory/theory_black \ + theory/theory_white \ theory/theory_arith_white \ theory/union_find_black \ theory/theory_bv_white \ @@ -24,7 +24,7 @@ UNIT_TESTS = \ expr/type_node_white \ parser/parser_black \ parser/parser_builder_black \ - prop/cnf_stream_black \ + prop/cnf_stream_white \ context/context_black \ context/context_white \ context/context_mm_black \ |