diff options
Diffstat (limited to 'test/system/Makefile.am')
-rw-r--r-- | test/system/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/system/Makefile.am b/test/system/Makefile.am index 1be242e3d..ed52b0232 100644 --- a/test/system/Makefile.am +++ b/test/system/Makefile.am @@ -6,7 +6,8 @@ CPLUSPLUS_TESTS = \ reset_assertions \ two_smt_engines \ smt2_compliance \ - statistics + statistics \ + sep_log_api if CVC4_BUILD_LIBCOMPAT #CPLUSPLUS_TESTS += \ |