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