From: Morgan Deters <mdeters@gmail.com>
Date: Sat, 14 May 2011 00:17:20 +0000 (+0000)
Subject: reverting node manager change from 1881; also part of parameterized datatypes review
X-Git-Tag: cvc5-1.0.0~8548
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b904efd3a2bad1411099cd2a8696cbda96a37cb0;p=cvc5.git

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 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);