diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-10-03 22:35:59 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-03 22:35:59 -0700 |
commit | 71b19e2c692f56e4c0c8741e8679ce17f665d786 (patch) | |
tree | 7464c3c83f5bd0fe1a585ffaa9b5ca4cb4e94f0f /examples | |
parent | b55b1f4ae40f6eef2f2f7489b2e9cd42b467492c (diff) |
Fix mem leak in sets_translate example. (#2589)
Diffstat (limited to 'examples')
-rw-r--r-- | examples/sets-translate/sets_translate.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/examples/sets-translate/sets_translate.cpp b/examples/sets-translate/sets_translate.cpp index 452a874a8..7a1990545 100644 --- a/examples/sets-translate/sets_translate.cpp +++ b/examples/sets-translate/sets_translate.cpp @@ -277,7 +277,8 @@ int main(int argc, char* argv[]) // Create the parser ParserBuilder parserBuilder(solver.get(), input, options); if(input == "<stdin>") parserBuilder.withStreamInput(cin); - Parser* parser = parserBuilder.build(); + std::unique_ptr<Parser> parser; + parser.reset(parserBuilder.build()); // Variables and assertions vector<string> variables; |