From 941608060e79950483a53ada3c3c244e8662c893 Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Thu, 16 Mar 2017 17:00:15 +0100
Subject: [PATCH] ltsmin: fix call to destructor

* spot/ltsmin/spins_kripke.hxx: here
---
 spot/ltsmin/spins_kripke.hxx | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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_;