Remove redundant options headers from TPTP parser. (#8864)

Fixes #8861.

diff --git a/src/parser/tptp/tptp.cpp b/src/parser/tptp/tptp.cpp
index dd6ba53cd27cc9091394cc046b1c47480a5bdec0..a0816afb9f44dba8acf087fd7020256de0b0a38e 100644 (file)
--- a/src/parser/tptp/tptp.cpp
+++ b/src/parser/tptp/tptp.cpp
@@ -21,8 +21,6 @@
 
 #include "api/cpp/cvc5.h"
 #include "base/check.h"
-#include "options/options.h"
-#include "options/options_public.h"
 #include "parser/parser.h"
 #include "smt/command.h"
 #include "theory/logic_info.h"