From 974f140d79a621785b1fe4a0fc7fe321ba1089e2 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Fri, 7 Jul 2023 23:55:47 +0100
Subject: Move some options to the klee namespace and declare them in
 OptionCategories.h

---
 lib/Core/StatsTracker.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib/Core/StatsTracker.cpp')

diff --git a/lib/Core/StatsTracker.cpp b/lib/Core/StatsTracker.cpp
index 305c6da2..6cb14cf3 100644
--- a/lib/Core/StatsTracker.cpp
+++ b/lib/Core/StatsTracker.cpp
@@ -54,7 +54,7 @@ using namespace llvm;
 
 ///
 
-namespace {
+namespace klee {
 cl::OptionCategory
     StatsCat("Statistics options",
              "These options control the statistics generated by KLEE.");
@@ -116,7 +116,7 @@ cl::opt<bool> UseCallPaths("use-call-paths", cl::init(true),
                                     "level statistics (default=true)"),
                            cl::cat(StatsCat));
 
-} // namespace
+} // namespace klee
 
 ///
 
-- 
cgit 1.4.1