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