diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-03-22 11:15:19 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-03-22 11:15:19 -0500 |
| commit | 99ea8403a0f41387fef1a42abe45817fb191aa12 (patch) | |
| tree | 08731f4af9c415d20ace34853d1ef73113d43119 /src/theory/sep | |
| parent | 478251bcea8c25596eaab1664ac18c7ddd15c445 (diff) | |
Fix more cases of rewritten explanations in strings for bug 784. Minor.
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 ){ |