diff options
Diffstat (limited to 'src/PolySetEvaluator.cc')
| -rw-r--r-- | src/PolySetEvaluator.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/PolySetEvaluator.cc b/src/PolySetEvaluator.cc index 537dc9d..e8a2c0c 100644 --- a/src/PolySetEvaluator.cc +++ b/src/PolySetEvaluator.cc @@ -24,7 +24,7 @@ shared_ptr<PolySet> PolySetEvaluator::getPolySet(const AbstractNode &node, bool if (PolySetCache::instance()->contains(cacheid)) { #ifdef DEBUG // For cache debugging - PRINTF("PolySetCache hit: %s", cacheid.substr(0, 40).c_str()); + PRINTB("PolySetCache hit: %s", cacheid.substr(0, 40)); #endif return PolySetCache::instance()->get(cacheid); } |