diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2017-07-17 01:18:10 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-07-17 01:18:10 -0400 |
commit | efac53e969ccefc01bace1a5f095dfd3570c3767 (patch) | |
tree | 0cfcf50944619bc0e7c452f9aa918a56ebd3d540 /src/main | |
parent | 949e19cbc2881996e5c5eed613f4506264482039 (diff) |
Remove PtrCloser (#198)
With C++11, we don't need PtrCloser anymore because we can
just use std::unique_ptr.
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/driver_unified.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/main/driver_unified.cpp b/src/main/driver_unified.cpp index 8b79e046c..697ce6642 100644 --- a/src/main/driver_unified.cpp +++ b/src/main/driver_unified.cpp @@ -20,6 +20,7 @@ #include <cstring> #include <fstream> #include <iostream> +#include <memory> #include <new> // This must come before PORTFOLIO_BUILD. @@ -27,7 +28,6 @@ #include "base/configuration.h" #include "base/output.h" -#include "base/ptr_closer.h" #include "expr/expr_iomanip.h" #include "expr/expr_manager.h" #include "main/command_executor.h" @@ -249,7 +249,7 @@ int runCvc4(int argc, char* argv[], Options& opts) { } # endif - PtrCloser<Parser> replayParser; + std::unique_ptr<Parser> replayParser; if( opts.getReplayInputFilename() != "" ) { std::string replayFilename = opts.getReplayInputFilename(); ParserBuilder replayParserBuilder(exprMgr, replayFilename, opts); @@ -357,7 +357,7 @@ int runCvc4(int argc, char* argv[], Options& opts) { vector< vector<Command*> > allCommands; allCommands.push_back(vector<Command*>()); - PtrCloser<Parser> parser(parserBuilder.build()); + std::unique_ptr<Parser> parser(parserBuilder.build()); if(replayParser) { // have the replay parser use the file's declarations replayParser->useDeclarationsFrom(parser.get()); @@ -512,7 +512,7 @@ int runCvc4(int argc, char* argv[], Options& opts) { #endif /* CVC4_COMPETITION_MODE && !CVC4_SMTCOMP_APPLICATION_TRACK */ } - PtrCloser<Parser> parser(parserBuilder.build()); + std::unique_ptr<Parser> parser(parserBuilder.build()); if(replayParser) { // have the replay parser use the file's declarations replayParser->useDeclarationsFrom(parser.get()); |