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/theory/quantifiers/sygus | |
parent | 6beb70fcedd18e965ad82949090365cb44a43692 (diff) |
Remove internal includes of Api header. (#6193)
Diffstat (limited to 'src/theory/quantifiers/sygus')
-rw-r--r-- | src/theory/quantifiers/sygus/sygus_repair_const.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
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" |