From a6d92395770c7ca30d5280d59749e7c1c9196ec8 Mon Sep 17 00:00:00 2001
From: Andreas Fabri <andreas.fabri@geometryfactory.com>
Date: Mon, 18 Nov 2013 12:59:56 +0100
Subject: [PATCH] delete of an array should be delete []

---
 Interval_skip_list/include/CGAL/Interval_skip_list.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
 mode change 100644 => 100755 Interval_skip_list/include/CGAL/Interval_skip_list.h

diff --git a/Interval_skip_list/include/CGAL/Interval_skip_list.h b/Interval_skip_list/include/CGAL/Interval_skip_list.h
old mode 100644
new mode 100755
index c83bc436737..9574c0901d2
--- a/Interval_skip_list/include/CGAL/Interval_skip_list.h
+++ b/Interval_skip_list/include/CGAL/Interval_skip_list.h
@@ -940,8 +940,8 @@ template <class Interval>
   {
     for(int i = 0; i<=topLevel; i++)
       delete markers[i];
-    delete forward;
-    delete markers;
+    delete [] forward;
+    delete [] markers;
     delete eqMarkers;
   }