diff options
Diffstat (limited to 'src/theory/sep')
| -rw-r--r-- | src/theory/sep/theory_sep_rewriter.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/sep/theory_sep_rewriter.cpp b/src/theory/sep/theory_sep_rewriter.cpp index 8e9939f61..0faf7b176 100644 --- a/src/theory/sep/theory_sep_rewriter.cpp +++ b/src/theory/sep/theory_sep_rewriter.cpp @@ -164,7 +164,7 @@ RewriteResponse TheorySepRewriter::postRewrite(TNode node) { Node TheorySepRewriter::preSkolemEmp( Node n, bool pol, std::map< bool, std::map< Node, Node > >& visited ) { std::map< Node, Node >::iterator it = visited[pol].find( n ); if( it==visited[pol].end() ){ - Trace("ajr-temp") << "Pre-skolem emp " << n << " with pol " << pol << std::endl; + Trace("sep-preprocess") << "Pre-skolem emp " << n << " with pol " << pol << std::endl; Node ret = n; if( n.getKind()==kind::SEP_EMP ){ if( !pol ){ |