2 files changed, 3 insertions, 12 deletions
diff --git a/src/theory/arith/nl/stats.cpp b/src/theory/arith/nl/stats.cpp
index fa06fa73e..b20214f59 100644
--- a/src/theory/arith/nl/stats.cpp
+++ b/src/theory/arith/nl/stats.cpp
@@ -23,17 +23,9 @@ namespace arith {
 namespace nl {
 
 NlStats::NlStats()
-    : d_mbrRuns("nl::mbrRuns", 0),
-      d_checkRuns("nl::checkRuns", 0)
+    : d_mbrRuns(smtStatisticsRegistry().registerInt("nl::mbrRuns")),
+      d_checkRuns(smtStatisticsRegistry().registerInt("nl::checkRuns"))
 {
-  smtStatisticsRegistry()->registerStat(&d_mbrRuns);
-  smtStatisticsRegistry()->registerStat(&d_checkRuns);
-}
-
-NlStats::~NlStats()
-{
-  smtStatisticsRegistry()->unregisterStat(&d_mbrRuns);
-  smtStatisticsRegistry()->unregisterStat(&d_checkRuns);
 }
 
 }  // namespace nl
diff --git a/src/theory/arith/nl/stats.h b/src/theory/arith/nl/stats.h
index 988b647a6..4f30031be 100644
--- a/src/theory/arith/nl/stats.h
+++ b/src/theory/arith/nl/stats.h
@@ -18,7 +18,7 @@
 #ifndef CVC5__THEORY__ARITH__NL__STATS_H
 #define CVC5__THEORY__ARITH__NL__STATS_H
 
-#include "util/statistics_registry.h"
+#include "util/statistics_stats.h"
 
 namespace cvc5 {
 namespace theory {
@@ -32,7 +32,6 @@ class NlStats
 {
  public:
   NlStats();
-  ~NlStats();
   /**
    * Number of calls to NonlinearExtension::modelBasedRefinement. Notice this
    * may make multiple calls to NonlinearExtension::checkLastCall.