3 files changed, 8 insertions, 11 deletions
diff --git a/src/base/configuration.cpp b/src/base/configuration.cpp
index 5dd9c2831..561500a16 100644
--- a/src/base/configuration.cpp
+++ b/src/base/configuration.cpp
@@ -46,10 +46,6 @@ bool Configuration::isDebugBuild() {
   return IS_DEBUG_BUILD;
 }
 
-bool Configuration::isStatisticsBuild() {
-  return IS_STATISTICS_BUILD;
-}
-
 bool Configuration::isTracingBuild() {
   return IS_TRACING_BUILD;
 }
diff --git a/src/base/configuration.h b/src/base/configuration.h
index 4d7a73d4c..e277739dc 100644
--- a/src/base/configuration.h
+++ b/src/base/configuration.h
@@ -48,7 +48,14 @@ public:
 
   static bool isDebugBuild();
 
-  static bool isStatisticsBuild();
+  static constexpr bool isStatisticsBuild()
+  {
+#ifdef CVC4_STATISTICS_ON
+    return true;
+#else
+    return false;
+#endif
+  }
 
   static bool isTracingBuild();
 
diff --git a/src/base/configuration_private.h b/src/base/configuration_private.h
index 1ec28dc4b..a39393814 100644
--- a/src/base/configuration_private.h
+++ b/src/base/configuration_private.h
@@ -30,12 +30,6 @@ namespace cvc5 {
 #  define IS_DEBUG_BUILD false
 #endif /* CVC4_DEBUG */
 
-#ifdef CVC4_STATISTICS_ON
-#  define IS_STATISTICS_BUILD true
-#else /* CVC4_STATISTICS_ON */
-#  define IS_STATISTICS_BUILD false
-#endif /* CVC4_STATISTICS_ON */
-
 #ifdef CVC4_TRACING
 #  define IS_TRACING_BUILD true
 #else /* CVC4_TRACING */