From: Christopher L. Conway <christopherleeconway@gmail.com>
Date: Sat, 17 Apr 2010 00:43:42 +0000 (+0000)
Subject: Fixing compiler error for optimized builds
X-Git-Tag: cvc5-1.0.0~9110
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=96733823eadf9ff566a177cf74e19d1712c48e4b;p=cvc5.git

Fixing compiler error for optimized builds
---

diff --git a/src/context/context.cpp b/src/context/context.cpp
index ca6564cf5..2be116baa 100644
--- a/src/context/context.cpp
+++ b/src/context/context.cpp
@@ -227,7 +227,7 @@ ContextObj* ContextObj::restoreAndContinue() throw(AssertionException) {
 
 
 void ContextObj::destroy() throw(AssertionException) {
-  if( Debug.isOn("context") ) {
+  if( DebugOut.isOn("context") ) {
     /* Context can be big and complicated, so we only want to process this output
      * if we're really going to use it. (Same goes below.)
      */
@@ -246,7 +246,7 @@ void ContextObj::destroy() throw(AssertionException) {
     if(d_pContextObjRestore == NULL) {
       break;
     }
-    if( Debug.isOn("context") ) {
+    if( DebugOut.isOn("context") ) {
       Debug("context") << "in destroy " << this << ", restore object is "
             << d_pContextObjRestore << " at level "
             << d_pContextObjRestore->getLevel() << ":" << std::endl
@@ -254,7 +254,7 @@ void ContextObj::destroy() throw(AssertionException) {
     }
     restoreAndContinue();
   }
-  if( Debug.isOn("context") ) {
+  if( DebugOut.isOn("context") ) {
     Debug("context") << "after destroy " << this << ":" << std::endl
           << *getContext() << std::endl;
   }