backported: Fix error "delete called on pointer returned from a mismatched allocation function"

Fix error "delete called on pointer returned from a mismatched allocation function"

See merge request !542 (merged)

(cherry picked from commit 497d5223)

eb67c9c9 Fix error "delete called on pointer returned from a mismatched allocation function"

dune/istl/repartition.hh

@@ -706,10 +706,8 @@ namespace Dune
         return weight_;
       }
       void free(){
-        if(weight_!=0) {
-          delete weight_;
-          weight_=0;
-        }
+        delete[] weight_;
+        weight_ = nullptr;
       }
     private:
       Metis::idx_t* weight_;