From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Tue, 23 Mar 2021 18:51:01 +0000 (-0700)
Subject: Remove internal includes of Api header. (#6193)
X-Git-Tag: cvc5-1.0.0~2039
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8fc8793f4337663f7250846dd6acae167a7f27ec;p=cvc5.git

Remove internal includes of Api header. (#6193)
---

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index a5da782d0..4f4d983c5 100644
--- a/src/smt/smt_engine.cpp
+++ b/src/smt/smt_engine.cpp
@@ -16,7 +16,6 @@
 
 #include "smt/smt_engine.h"
 
-#include "api/cvc4cpp.h"
 #include "base/check.h"
 #include "base/exception.h"
 #include "base/modal_exception.h"
diff --git a/src/theory/quantifiers/candidate_rewrite_database.cpp b/src/theory/quantifiers/candidate_rewrite_database.cpp
index ca1d43b2f..103b32be0 100644
--- a/src/theory/quantifiers/candidate_rewrite_database.cpp
+++ b/src/theory/quantifiers/candidate_rewrite_database.cpp
@@ -14,7 +14,6 @@
 
 #include "theory/quantifiers/candidate_rewrite_database.h"
 
-#include "api/cvc4cpp.h"
 #include "options/base_options.h"
 #include "printer/printer.h"
 #include "smt/smt_engine.h"
diff --git a/src/theory/quantifiers/expr_miner.cpp b/src/theory/quantifiers/expr_miner.cpp
index 6e32e0de8..71d5d7a7a 100644
--- a/src/theory/quantifiers/expr_miner.cpp
+++ b/src/theory/quantifiers/expr_miner.cpp
@@ -14,7 +14,6 @@
 
 #include "theory/quantifiers/expr_miner.h"
 
-#include "api/cvc4cpp.h"
 #include "options/quantifiers_options.h"
 #include "smt/smt_engine.h"
 #include "smt/smt_engine_scope.h"
diff --git a/src/theory/quantifiers/query_generator.cpp b/src/theory/quantifiers/query_generator.cpp
index ae672212d..1c34cc2f4 100644
--- a/src/theory/quantifiers/query_generator.cpp
+++ b/src/theory/quantifiers/query_generator.cpp
@@ -17,7 +17,6 @@
 
 #include <fstream>
 
-#include "api/cvc4cpp.h"
 #include "options/quantifiers_options.h"
 #include "smt/smt_engine.h"
 #include "smt/smt_engine_scope.h"
diff --git a/src/theory/quantifiers/sygus/sygus_repair_const.cpp b/src/theory/quantifiers/sygus/sygus_repair_const.cpp
index 0911b73c2..a96974908 100644
--- a/src/theory/quantifiers/sygus/sygus_repair_const.cpp
+++ b/src/theory/quantifiers/sygus/sygus_repair_const.cpp
@@ -14,7 +14,6 @@
 
 #include "theory/quantifiers/sygus/sygus_repair_const.h"
 
-#include "api/cvc4cpp.h"
 #include "expr/dtype_cons.h"
 #include "expr/node_algorithm.h"
 #include "options/base_options.h"
diff --git a/src/theory/smt_engine_subsolver.cpp b/src/theory/smt_engine_subsolver.cpp
index f9439a65e..041ed41a1 100644
--- a/src/theory/smt_engine_subsolver.cpp
+++ b/src/theory/smt_engine_subsolver.cpp
@@ -15,7 +15,6 @@
 
 #include "theory/smt_engine_subsolver.h"
 
-#include "api/cvc4cpp.h"
 #include "smt/smt_engine.h"
 #include "smt/smt_engine_scope.h"
 #include "theory/rewriter.h"