diff options
Diffstat (limited to 'src/util/stats_utils.cpp')
-rw-r--r-- | src/util/stats_utils.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/stats_utils.cpp b/src/util/stats_utils.cpp index 2a87ff439..7908e0912 100644 --- a/src/util/stats_utils.cpp +++ b/src/util/stats_utils.cpp @@ -23,7 +23,7 @@ #include "util/ostream_util.h" #include "util/stats_timer.h" -namespace CVC5 { +namespace cvc5 { std::ostream& operator<<(std::ostream& os, const timer_stat_detail::duration& dur) @@ -35,4 +35,4 @@ std::ostream& operator<<(std::ostream& os, << (dur % std::chrono::seconds(1)).count(); } -} // namespace CVC5 +} // namespace cvc5 |