fix stats regeneration

Author: ckrause

CHANGELOG.md

@@ -2,6 +2,10 @@ To install or update LODA, please follow the [installation instructions](https:/
 
 ## [Unreleased]
 
+### Bugfixes
+
+* Fix duplicate stats regeneration
+
 ## v25.1.31
 
 ### Enhancements

src/mine/miner.cpp

@@ -58,7 +58,6 @@ void Miner::reload() {
     }
   }
   mutator.reset(new Mutator(manager->getStats()));
-  manager->releaseStats();  // not needed anymore
 }
 
 void signalShutdown() {

src/oeis/oeis_manager.cpp

@@ -661,8 +661,6 @@ const Stats &OeisManager::getStats() {
   return *stats;
 }
 
-void OeisManager::releaseStats() { stats.reset(); }
-
 void OeisManager::addSeqComments(Program &p) const {
   for (auto &op : p.ops) {
     if (op.type == Operation::Type::SEQ &&

src/oeis/oeis_manager.hpp

@@ -36,8 +36,6 @@ class OeisManager {
 
   const Stats& getStats();
 
-  void releaseStats();
-
   Finder& getFinder();
 
   size_t getTotalCount() const { return total_count; }