diff options
Diffstat (limited to 'extras/mini-os/include')
| -rw-r--r-- | extras/mini-os/include/lib.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/extras/mini-os/include/lib.h b/extras/mini-os/include/lib.h index 4aa34d4e7c..0834a18c62 100644 --- a/extras/mini-os/include/lib.h +++ b/extras/mini-os/include/lib.h @@ -101,7 +101,6 @@ char * strcat(char * dest, const char * src); char *strdup(const char *s); #endif #include <mini-os/console.h> -int openpty(void); #define RAND_MIX 2654435769U |