From 18e073e53b49f24539f29a68e8ec905dd628e9d3 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Sun, 4 Jul 2010 06:31:05 +0000
Subject: fix to production build

---
 src/theory/theory_engine.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/theory/theory_engine.cpp')

diff --git a/src/theory/theory_engine.cpp b/src/theory/theory_engine.cpp
index 03678e30e..096c99c06 100644
--- a/src/theory/theory_engine.cpp
+++ b/src/theory/theory_engine.cpp
@@ -416,8 +416,8 @@ Node TheoryEngine::rewrite(TNode in, bool topLevel) {
        * in the cache to make sure they are the same.  This is
        * especially necessary if a theory post-rewrites something into
        * a term of another theory. */
-      if(Debug.isOn("extra-checking") &&
-         !Debug.isOn("$extra-checking:inside-rewrite")) {
+      if(debugTagIsOn("extra-checking") &&
+         !debugTagIsOn("$extra-checking:inside-rewrite")) {
         ScopedDebug d("$extra-checking:inside-rewrite");
         Node rewrittenAgain = rewrite(rse.d_node, rse.d_topLevel);
         Assert(rewrittenAgain == rse.d_node,
-- 
cgit v1.2.3