diff options
| -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; |