diff --git a/spot/ltsmin/spins_kripke.hxx b/spot/ltsmin/spins_kripke.hxx
index 875250839..2e579ae18 100644
--- a/spot/ltsmin/spins_kripke.hxx
+++ b/spot/ltsmin/spins_kripke.hxx
@@ -263,8 +263,8 @@ namespace spot
     for (unsigned i = 0; i < nb_threads_; ++i)
       {
         manager_[i].~cspins_state_manager();
-        delete inner_[i].compressed_;
-        delete inner_[i].uncompressed_;
+        delete[] inner_[i].compressed_;
+        delete[] inner_[i].uncompressed_;
       }
     ::operator delete(manager_);
     delete[] inner_;