diff options
Diffstat (limited to 'src/main/command_executor.cpp')
-rw-r--r-- | src/main/command_executor.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/main/command_executor.cpp b/src/main/command_executor.cpp index 551880b98..ebe51f359 100644 --- a/src/main/command_executor.cpp +++ b/src/main/command_executor.cpp @@ -26,7 +26,7 @@ #include "main/main.h" #include "smt/command.h" -namespace CVC4 { +namespace CVC5 { namespace main { // Function to cancel any (externally-imposed) limit on CPU time. @@ -331,5 +331,5 @@ void CommandExecutor::flushOutputStreams() { d_options.flushErr(); } -}/* CVC4::main namespace */ -}/* CVC4 namespace */ +} // namespace main +} // namespace CVC5 |