diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-03-23 11:51:01 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-23 11:51:01 -0700 |
| commit | 8fc8793f4337663f7250846dd6acae167a7f27ec (patch) | |
| tree | f4e6caeb6cf872397baef72c8a760de1f81d85e3 /src | |
| parent | 6beb70fcedd18e965ad82949090365cb44a43692 (diff) | |
Remove internal includes of Api header. (#6193)
Diffstat (limited to 'src')
| -rw-r--r-- | src/smt/smt_engine.cpp | 1 | ||||
| -rw-r--r-- | src/theory/quantifiers/candidate_rewrite_database.cpp | 1 | ||||
| -rw-r--r-- | src/theory/quantifiers/expr_miner.cpp | 1 | ||||
| -rw-r--r-- | src/theory/quantifiers/query_generator.cpp | 1 | ||||
| -rw-r--r-- | src/theory/quantifiers/sygus/sygus_repair_const.cpp | 1 | ||||
| -rw-r--r-- | src/theory/smt_engine_subsolver.cpp | 1 |
6 files changed, 0 insertions, 6 deletions
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" |