delete [] instead of delete after a new array

This commit is contained in:
Andreas Fabri 2013-11-18 17:24:16 +01:00
parent da1791759c
commit 18b04bfb22
1 changed files with 1 additions and 1 deletions

2
Number_types/include/CGAL/Mpzf.h Normal file → Executable file
View File

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