diff options
Diffstat (limited to 'src/main/driver_unified.cpp')
| -rw-r--r-- | src/main/driver_unified.cpp | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/src/main/driver_unified.cpp b/src/main/driver_unified.cpp index 40ed674c0..fdf6a8335 100644 --- a/src/main/driver_unified.cpp +++ b/src/main/driver_unified.cpp @@ -41,11 +41,11 @@ #include "util/result.h" using namespace std; -using namespace CVC5; -using namespace CVC5::parser; -using namespace CVC5::main; +using namespace cvc5; +using namespace cvc5::parser; +using namespace cvc5::main; -namespace CVC5 { +namespace cvc5 { namespace main { /** Global options variable */ thread_local Options* pOptions; @@ -57,7 +57,7 @@ const char* progPath; const std::string* progName; /** A pointer to the CommandExecutor (the signal handlers need it) */ -std::unique_ptr<CVC5::main::CommandExecutor> pExecutor; +std::unique_ptr<cvc5::main::CommandExecutor> pExecutor; /** The time point the binary started, accessible to signal handlers */ std::unique_ptr<TotalTimer> totalTime; @@ -73,7 +73,7 @@ TotalTimer::~TotalTimer() } } // namespace main - } // namespace CVC5 + } // namespace cvc5 void printUsage(Options& opts, bool full) { stringstream ss; @@ -175,12 +175,12 @@ int runCvc4(int argc, char* argv[], Options& opts) { // Determine which messages to show based on smtcomp_mode and verbosity if(Configuration::isMuzzledBuild()) { - DebugChannel.setStream(&CVC5::null_os); - TraceChannel.setStream(&CVC5::null_os); - NoticeChannel.setStream(&CVC5::null_os); - ChatChannel.setStream(&CVC5::null_os); - MessageChannel.setStream(&CVC5::null_os); - WarningChannel.setStream(&CVC5::null_os); + DebugChannel.setStream(&cvc5::null_os); + TraceChannel.setStream(&cvc5::null_os); + NoticeChannel.setStream(&cvc5::null_os); + ChatChannel.setStream(&cvc5::null_os); + MessageChannel.setStream(&cvc5::null_os); + WarningChannel.setStream(&cvc5::null_os); } // important even for muzzled builds (to get result output right) |