From 18b04bfb225dfdf9b391e499f232d144057e5e9f Mon Sep 17 00:00:00 2001
From: Andreas Fabri <andreas.fabri@geometryfactory.com>
Date: Mon, 18 Nov 2013 17:24:16 +0100
Subject: [PATCH] delete []   instead of delete after a new array

---
 Number_types/include/CGAL/Mpzf.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 mode change 100644 => 100755 Number_types/include/CGAL/Mpzf.h

diff --git a/Number_types/include/CGAL/Mpzf.h b/Number_types/include/CGAL/Mpzf.h
old mode 100644
new mode 100755
index 17d2743408b..0e1a25d0cf5
--- a/Number_types/include/CGAL/Mpzf.h
+++ b/Number_types/include/CGAL/Mpzf.h
@@ -182,7 +182,7 @@ template <class T, class = void> struct pool3 {
 // No caching
 template <class T, class = void> struct no_pool {
   static T pop() { throw "Shouldn't be here!"; }
-  static void push(T t) { delete (t - (extra+1)); }
+  static void push(T t) { delete [] (t - (extra+1)); }
   static bool empty() { return true; }
   static const int extra = 0;
 };