diff --git a/src/test/prime_generator.cpp b/src/test/prime_generator.cpp
index 3820959d9..df5fae0aa 100644
--- a/src/test/prime_generator.cpp
+++ b/src/test/prime_generator.cpp
@@ -38,5 +38,5 @@ void tst_prime_generator() {
             ENSURE(p % i != 0);
         }
     }
-    std::cout << std::endl;
+    std::cout << std::endl;    
 }
diff --git a/src/util/prime_generator.cpp b/src/util/prime_generator.cpp
index f6ef57c26..e4a0031e6 100644
--- a/src/util/prime_generator.cpp
+++ b/src/util/prime_generator.cpp
@@ -27,6 +27,11 @@ prime_generator::prime_generator() {
     process_next_k_numbers(128);
 }
 
+prime_generator::~prime_generator() {
+    dealloc(m_mux);
+    m_mux = nullptr;
+}
+
 void prime_generator::process_next_k_numbers(uint64_t k) {
     svector<uint64_t> todo;
     uint64_t begin = m_primes.back() + 2;
diff --git a/src/util/prime_generator.h b/src/util/prime_generator.h
index 924e9a2fc..50ce8716d 100644
--- a/src/util/prime_generator.h
+++ b/src/util/prime_generator.h
@@ -38,6 +38,7 @@ class prime_generator {
 public:
     mutex             *m_mux;
     prime_generator();
+    ~prime_generator();
     uint64_t operator()(unsigned idx);
     void finalize();
 };