1 files changed, 0 insertions, 13 deletions
diff --git a/src/user/lib/include/stdlib.h b/src/user/lib/include/stdlib.h
deleted file mode 100644
index 594f5c5..0000000
--- a/src/user/lib/include/stdlib.h
+++ /dev/null
@@ -1,13 +0,0 @@
-#ifndef DEF_STDLIB_H
-#define DEF_STDLIB_H
-
-#include <types.h>
-#include <tce/syscall.h>
-
-void abort();
-extern volatile int errno;
-
-#include <_dlmalloc.h>
-
-#endif
-