From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Tue, 7 Jun 2022 18:06:37 +0000 (-0700)
Subject: Remove redundant options headers from TPTP parser. (#8864)
X-Git-Tag: cvc5-1.0.1~61
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=129f72e42965992e208dba89cebd5582a9ee04f3;p=cvc5.git

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 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"