Remove createDefaultLogger()

DeterminateSystems · Feb 18, 2025 · 9b57f9b · 9b57f9b
1 parent 227114d
commit 9b57f9b
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 7 deletions.
diff --git a/src/libmain/loggers.cc b/src/libmain/loggers.cc
@@ -50,11 +50,6 @@ void setLogFormat(const std::string & logFormatStr)
 void setLogFormat(const LogFormat & logFormat)
 {
     defaultLogFormat = logFormat;
-    createDefaultLogger();
-}
-
-void createDefaultLogger()
-{
     logger = makeDefaultLogger();
 }
 

diff --git a/src/libmain/loggers.hh b/src/libmain/loggers.hh
@@ -16,6 +16,4 @@ enum class LogFormat {
 void setLogFormat(const std::string & logFormatStr);
 void setLogFormat(const LogFormat & logFormat);
 
-void createDefaultLogger();
-
 }