diff options
Diffstat (limited to 'nuttx/libxx/libxx_delete.cxx')
| -rw-r--r-- | nuttx/libxx/libxx_delete.cxx | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/nuttx/libxx/libxx_delete.cxx b/nuttx/libxx/libxx_delete.cxx index d9203a228..4de6f338a 100644 --- a/nuttx/libxx/libxx_delete.cxx +++ b/nuttx/libxx/libxx_delete.cxx @@ -1,7 +1,7 @@ //*************************************************************************** // libxx/libxx_new.cxx // -// Copyright (C) 2009 Gregory Nutt. All rights reserved. +// Copyright (C) 2009, 2013 Gregory Nutt. All rights reserved. // Author: Gregory Nutt <gnutt@nuttx.org> // // Redistribution and use in source and binary forms, with or without @@ -38,7 +38,8 @@ //*************************************************************************** #include <nuttx/config.h> -#include <cstdlib> + +#include "libxx_internal.hxx" //*************************************************************************** // Definitions @@ -58,5 +59,5 @@ void operator delete(void* ptr) { - free(ptr); + lib_free(ptr); } |