diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-03-09 12:11:35 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-09 20:11:35 +0000 |
| commit | ba06bb6c4cd2b16437fcfe5fe29acb6c8c890649 (patch) | |
| tree | e6e7cf2634bd44a892ae93aa9c2605193efd26e0 /src/api/cvc4cpp.h | |
| parent | b384526f32eab67bce49c26e38d9bd7d8b1baca0 (diff) | |
New C++ Api: Clean up usage of internal kind. (#6087)
Diffstat (limited to 'src/api/cvc4cpp.h')
| -rw-r--r-- | src/api/cvc4cpp.h | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/src/api/cvc4cpp.h b/src/api/cvc4cpp.h index 1d6367b31..3d26f5c7b 100644 --- a/src/api/cvc4cpp.h +++ b/src/api/cvc4cpp.h @@ -20,10 +20,6 @@ #define CVC4__API__CVC4CPP_H #include "api/cvc4cppkind.h" -// !!! Only temporarily public until the parser is fully migrated to the new -// API. !!! -#include "expr/kind.h" -// !!! #include <map> #include <memory> @@ -3639,11 +3635,5 @@ class CVC4_PUBLIC Solver }; } // namespace api - -// !!! Only temporarily public until the parser is fully migrated to the -// new API. !!! -CVC4::api::Kind intToExtKind(CVC4::Kind k); -CVC4::Kind extToIntKind(CVC4::api::Kind k); - } // namespace CVC4 #endif |