From 358378a6f0b24f30480519615213460601f6e27e Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 1 Jun 2026 19:36:18 -0700
Subject: [PATCH] remove tptp from all

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/test/main.cpp | 1 -
 1 file changed, 1 deletion(-)

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) \