diff --git a/src/test/main.cpp b/src/test/main.cpp
index d8b3ab736..802512f89 100644
--- a/src/test/main.cpp
+++ b/src/test/main.cpp
@@ -120,7 +120,6 @@
     X(model_based_opt) \
     X(factor_rewriter) \
     X(smt2print_parse) \
-    X(tptp) \
     X(substitution) \
     X(polynomial) \
     X(polynomial_factorization) \