From: Clark Barrett <barrett@cs.nyu.edu>
Date: Fri, 4 May 2012 17:18:02 +0000 (+0000)
Subject: Guard for expensive Debug trace
X-Git-Tag: cvc5-1.0.0~8201
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c4a96dc3a0ace41e5f746207847a57ce1c6d4d33;p=cvc5.git

Guard for expensive Debug trace
---

diff --git a/src/theory/term_registration_visitor.cpp b/src/theory/term_registration_visitor.cpp
index 897c0fa2d..1ed4525f4 100644
--- a/src/theory/term_registration_visitor.cpp
+++ b/src/theory/term_registration_visitor.cpp
@@ -67,7 +67,9 @@ void PreRegisterVisitor::visit(TNode current, TNode parent) {
   Theory::Set theories;
 
   Debug("register") << "PreRegisterVisitor::visit(" << current << "," << parent << ")" << std::endl;
-  Debug("register::internal") << toString() << std::endl;
+  if (Debug.isOn("register::internal")) {
+    Debug("register::internal") << toString() << std::endl;
+  }
 
   // Get the theories of the terms
   TheoryId currentTheoryId = Theory::theoryOf(current);