delete has to be delete[]

[[Imported from SVN: r342]]

istl/indexset.hh

@@ -885,7 +885,7 @@ namespace Dune
   template<class I>
   GlobalLookupIndexSet<I>::~GlobalLookupIndexSet()
   {
-    delete index_;
+    delete[] index_;
   }