From 44528cd42df4153b67f85a7aab9c5e1a5c67fdf5 Mon Sep 17 00:00:00 2001
From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Tue, 1 Nov 2016 14:31:41 -0500
Subject: Fix memory leak in TheorySetsRels.  Minor cleanup.

---
 src/expr/node_manager.cpp | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/expr/node_manager.cpp')

diff --git a/src/expr/node_manager.cpp b/src/expr/node_manager.cpp
index 2e6792bdd..34f2960be 100644
--- a/src/expr/node_manager.cpp
+++ b/src/expr/node_manager.cpp
@@ -220,7 +220,6 @@ NodeManager::~NodeManager() {
 }
 
 unsigned NodeManager::registerDatatype(Datatype* dt) {
-  Trace("ajr-temp") << "Register datatype : " << dt->getName() << " " << dt << std::endl;
   unsigned sz = d_ownedDatatypes.size();
   d_ownedDatatypes.push_back( dt );
   return sz;
-- 
cgit v1.2.3