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/parser | |
| parent | 6404d4f5f65eefbcc91c733f04942d6cb817f46a (diff) | |
Fix a few obvious memory leaks in sygus and quantifiers. Minor fix cvc3_compat.
Diffstat (limited to 'src/parser')
| -rw-r--r-- | src/parser/smt2/Smt2.g | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g index f88b30212..b2a0cfc0c 100644 --- a/src/parser/smt2/Smt2.g +++ b/src/parser/smt2/Smt2.g @@ -639,7 +639,6 @@ sygusCommand returns [CVC4::Command* cmd = NULL] for( unsigned i=0; i<datatypes.size(); i++ ){ Debug("parser-sygus") << " " << i << " : " << datatypes[i].getName() << std::endl; } - seq = new CommandSequence(); std::vector<DatatypeType> datatypeTypes = PARSER_STATE->mkMutualDatatypeTypes(datatypes); seq->addCommand(new DatatypeDeclarationCommand(datatypeTypes)); std::map<DatatypeType, Expr> evals; |