diff --git a/spot/ltsmin/spins_kripke.hxx b/spot/ltsmin/spins_kripke.hxx
index 2c0884fd8..5d3911aec 100644
--- a/spot/ltsmin/spins_kripke.hxx
+++ b/spot/ltsmin/spins_kripke.hxx
@@ -266,6 +266,7 @@ namespace spot
         delete inner_[i].compressed_;
         delete inner_[i].uncompressed_;
       }
+    ::operator delete(manager_);
     delete[] inner_;
   }