1 files changed, 2 insertions, 1 deletions
diff --git a/src/expr/node_manager.h b/src/expr/node_manager.h
index 9974df6ca..8b803e696 100644
--- a/src/expr/node_manager.h
+++ b/src/expr/node_manager.h
@@ -53,10 +53,12 @@ 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 */
 
@@ -1188,7 +1190,6 @@ 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);