reverting node manager change from 1881; also part of parameterized datatypes review

diff --git a/src/expr/node_manager.h b/src/expr/node_manager.h
index 8b803e696251f4d5145e74548d88ae9a99b51edc..9974df6ca32db092d75ce18245eae51c2b5db5de 100644 (file)
--- a/src/expr/node_manager.h
+++ b/src/expr/node_manager.h
@@ -53,12 +53,10 @@ namespace expr {
 namespace attr {
   struct VarNameTag {};
   struct SortArityTag {};
-  struct DatatypeTag {};
 }/* CVC4::expr::attr namespace */
 
 typedef Attribute<attr::VarNameTag, std::string> VarNameAttr;
 typedef Attribute<attr::SortArityTag, uint64_t> SortArityAttr;
-typedef Attribute<attr::SortArityTag, void*> DatatypeAttr;
 
 }/* CVC4::expr namespace */
 
@@ -1190,6 +1188,7 @@ inline TypeNode NodeManager::mkTypeNode(Kind kind,
   return NodeBuilder<>(this, kind).append(children).constructTypeNode();
 }
 
+
 inline Node NodeManager::mkVar(const std::string& name, const TypeNode& type) {
   Node n = mkVar(type);
   n.setAttribute(TypeAttr(), type);