From b904efd3a2bad1411099cd2a8696cbda96a37cb0 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Sat, 14 May 2011 00:17:20 +0000
Subject: [PATCH] reverting node manager change from 1881; also part of
 parameterized datatypes review

---
 src/expr/node_manager.h | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/expr/node_manager.h b/src/expr/node_manager.h
index 8b803e696..9974df6ca 100644
--- 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);
-- 
2.30.2