diff options
Diffstat (limited to 'src/util/safe_print.cpp')
| -rw-r--r-- | src/util/safe_print.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/safe_print.cpp b/src/util/safe_print.cpp index c70119822..ce4f529a4 100644 --- a/src/util/safe_print.cpp +++ b/src/util/safe_print.cpp @@ -28,7 +28,7 @@ /* Size of buffers used */ #define BUFFER_SIZE 20 -namespace CVC5 { +namespace cvc5 { template <> void safe_print(int fd, const std::string& msg) { @@ -214,4 +214,4 @@ void safe_print_right_aligned(int fd, uint64_t i, ssize_t width) { } } -} // namespace CVC5 +} // namespace cvc5 |