Remove internal includes of Api header. (#6193)

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index a5da782d0909ff7f375576596d8417a591852f4b..4f4d983c5def220ef38acc8ac7047aefdbab0da9 100644 (file)
--- 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 ca1d43b2fd045aeb2cf41a54e48c4d7528b6ad0e..103b32be0bd112cc0a1fc7ecc238c3c8a45802a6 100644 (file)
--- 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 6e32e0de8a7e939ec26162c88043bf1e85c42356..71d5d7a7afcfc3570d04e1a6d1b8b2675ebeb2d0 100644 (file)
--- 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 ae672212d2b674242c4fbda2e18ccf3e07c446bb..1c34cc2f4737f0d69ce73f8ae369cc221049dfa7 100644 (file)
--- 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 0911b73c238a81d3a9892a93cf4a8813f4d95c5d..a96974908501ebf3b3a8f6412d89c42da31a227d 100644 (file)
--- 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 f9439a65e307acd0be9746021096a102080e9853..041ed41a1534c1fd2a7e5fc1a1ec493300cec603 100644 (file)
--- 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"