diff options
Diffstat (limited to 'src/preprocessing/passes/global_negate.cpp')
| -rw-r--r-- | src/preprocessing/passes/global_negate.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/preprocessing/passes/global_negate.cpp b/src/preprocessing/passes/global_negate.cpp index 5e7d42632..59b5ddf6e 100644 --- a/src/preprocessing/passes/global_negate.cpp +++ b/src/preprocessing/passes/global_negate.cpp @@ -30,14 +30,14 @@ namespace passes { Node GlobalNegate::simplify(std::vector<Node>& assertions, NodeManager* nm) { Assert(!assertions.empty()); - Trace("cbqi-gn") << "Global negate : " << std::endl; + Trace("cegqi-gn") << "Global negate : " << std::endl; // collect free variables in all assertions std::vector<Node> free_vars; std::vector<TNode> visit; std::unordered_set<TNode, TNodeHashFunction> visited; for (const Node& as : assertions) { - Trace("cbqi-gn") << " " << as << std::endl; + Trace("cegqi-gn") << " " << as << std::endl; TNode cur = as; // compute free variables visit.push_back(cur); @@ -90,9 +90,9 @@ Node GlobalNegate::simplify(std::vector<Node>& assertions, NodeManager* nm) body = nm->mkNode(FORALL, bvl, body); } - Trace("cbqi-gn-debug") << "...got (pre-rewrite) : " << body << std::endl; + Trace("cegqi-gn-debug") << "...got (pre-rewrite) : " << body << std::endl; body = Rewriter::rewrite(body); - Trace("cbqi-gn") << "...got (post-rewrite) : " << body << std::endl; + Trace("cegqi-gn") << "...got (post-rewrite) : " << body << std::endl; return body; } |