diff options
Diffstat (limited to 'os/src/free.c')
-rw-r--r-- | os/src/free.c | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/os/src/free.c b/os/src/free.c deleted file mode 100644 index a011077..0000000 --- a/os/src/free.c +++ /dev/null @@ -1,8 +0,0 @@ -#include <reent.h> -#include <malloc.h> -#include "osdebug.h" - -void free(void * ptr) { -// DBGOUT("free(%p)\r\n", ptr); - _free_r(_impure_ptr, ptr); -} |