diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-11-02 12:42:25 -0500 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-11-02 12:42:25 -0500 |
commit | 81c1bee05d9d7c323f49d33554a523f8f4fbf387 (patch) | |
tree | 2c776f89051a6904dfde4c96332a0e61ca8a03fe /src/theory/sep | |
parent | 6404d4f5f65eefbcc91c733f04942d6cb817f46a (diff) |
Fix a few obvious memory leaks in sygus and quantifiers. Minor fix cvc3_compat.
Diffstat (limited to 'src/theory/sep')
-rw-r--r-- | src/theory/sep/theory_sep.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/theory/sep/theory_sep.cpp b/src/theory/sep/theory_sep.cpp index 42c6d1219..6e60a3790 100644 --- a/src/theory/sep/theory_sep.cpp +++ b/src/theory/sep/theory_sep.cpp @@ -316,6 +316,7 @@ void TheorySep::check(Effort e) { Node b_lbl = getBaseLabel( refType ); Node s_atom_new = NodeManager::currentNM()->mkNode( kind::SEP_LABEL, s_atom, b_lbl ); Node lem; + Trace("sep-lemma-debug") << "...polarity is " << polarity << std::endl; if( polarity ){ lem = NodeManager::currentNM()->mkNode( kind::OR, s_atom.negate(), s_atom_new ); }else{ |