diff options
| author | Morgan Deters <mdeters@gmail.com> | 2010-07-04 06:31:05 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2010-07-04 06:31:05 +0000 |
| commit | 18e073e53b49f24539f29a68e8ec905dd628e9d3 (patch) | |
| tree | ac8d456f423a1952c52a194dcb2d2bdeb93d2933 /src/theory/theory_engine.cpp | |
| parent | 78f7f12f981982bc54435828aea224f785ec3f87 (diff) | |
fix to production build
Diffstat (limited to 'src/theory/theory_engine.cpp')
| -rw-r--r-- | src/theory/theory_engine.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
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, |