From 129f72e42965992e208dba89cebd5582a9ee04f3 Mon Sep 17 00:00:00 2001 From: Mathias Preiner Date: Tue, 7 Jun 2022 11:06:37 -0700 Subject: [PATCH] Remove redundant options headers from TPTP parser. (#8864) Fixes #8861. --- src/parser/tptp/tptp.cpp | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/parser/tptp/tptp.cpp b/src/parser/tptp/tptp.cpp index dd6ba53cd..a0816afb9 100644 --- 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" -- 2.30.2