diff options
author | Tim King <taking@google.com> | 2016-11-09 14:09:25 -0800 |
---|---|---|
committer | Tim King <taking@google.com> | 2016-11-09 14:09:25 -0800 |
commit | 831f2b7176bc3db49e2fb354918a71df896ad63a (patch) | |
tree | 3cef485dbe92e5b0d200d314e844545de1714692 /src/main/driver_unified.cpp | |
parent | 8d0c4c7e8eb6c65facf87ad3b2e27f407096836c (diff) |
Renaming the class PtrCloser to not cause confusion with unique_ptr.
Diffstat (limited to 'src/main/driver_unified.cpp')
-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 e9e703b5f..e43c8a6ee 100644 --- a/src/main/driver_unified.cpp +++ b/src/main/driver_unified.cpp @@ -26,8 +26,8 @@ #include "cvc4autoconfig.h" #include "base/configuration.h" -#include "base/cvc4_unique_ptr.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" @@ -242,7 +242,7 @@ int runCvc4(int argc, char* argv[], Options& opts) { } # endif - UniquePtr<Parser> replayParser; + PtrCloser<Parser> replayParser; if( opts.getReplayInputFilename() != "" ) { std::string replayFilename = opts.getReplayInputFilename(); ParserBuilder replayParserBuilder(exprMgr, replayFilename, opts); @@ -348,7 +348,7 @@ int runCvc4(int argc, char* argv[], Options& opts) { vector< vector<Command*> > allCommands; allCommands.push_back(vector<Command*>()); - UniquePtr<Parser> parser(parserBuilder.build()); + PtrCloser<Parser> parser(parserBuilder.build()); if(replayParser) { // have the replay parser use the file's declarations replayParser->useDeclarationsFrom(parser.get()); @@ -503,7 +503,7 @@ int runCvc4(int argc, char* argv[], Options& opts) { #endif /* CVC4_COMPETITION_MODE && !CVC4_SMTCOMP_APPLICATION_TRACK */ } - UniquePtr<Parser> parser(parserBuilder.build()); + PtrCloser<Parser> parser(parserBuilder.build()); if(replayParser) { // have the replay parser use the file's declarations replayParser->useDeclarationsFrom(parser.get()); |