some api changes

1 files changed, 0 insertions, 8 deletions

diff --git a/src/expr/node_manager.h b/src/expr/node_manager.h
index 893fde64b..4a05b174d 100644
--- a/src/expr/node_manager.h
+++ b/src/expr/node_manager.h
@@ -658,9 +658,6 @@ public:
   /** Get the (singleton) type for strings. */
   inline TypeNode stringType();
 
-  /** Get the (singleton) type for sorts. */
-  inline TypeNode kindType();
-
   /** Get the bound var list type. */
   inline TypeNode boundVarListType();
 
@@ -983,11 +980,6 @@ inline TypeNode NodeManager::stringType() {
   return TypeNode(mkTypeConst<TypeConstant>(STRING_TYPE));
 }
 
-/** Get the (singleton) type for sorts. */
-inline TypeNode NodeManager::kindType() {
-  return TypeNode(mkTypeConst<TypeConstant>(KIND_TYPE));
-}
-
 /** Get the bound var list type. */
 inline TypeNode NodeManager::boundVarListType() {
   return TypeNode(mkTypeConst<TypeConstant>(BOUND_VAR_LIST_TYPE));