2 files changed, 5 insertions, 3 deletions
diff --git a/src/user/lib/libc/include/readline.h b/src/user/lib/libc/include/readline.h
index 9fa2ee7..b5e0a1a 100644
--- a/src/user/lib/libc/include/readline.h
+++ b/src/user/lib/libc/include/readline.h
@@ -13,9 +13,11 @@ typedef struct _rdln_hist {
 #ifdef __cplusplus
 extern "C" { namespace libc {
 #endif
-char *readln();
-char* freadln(FILE *f);		// minimal line-reading function. user must free the returned value.
+
+
 char* freadline(FILE *f, readline_history *h);
+
+
 #ifdef __cplusplus
 } }
 #endif
diff --git a/src/user/lib/libc/include/tce/syscall.h b/src/user/lib/libc/include/tce/syscall.h
index 4a1c6ef..478ed3e 100644
--- a/src/user/lib/libc/include/tce/syscall.h
+++ b/src/user/lib/libc/include/tce/syscall.h
@@ -23,7 +23,7 @@ int proc_priv();
 void* sbrk(ptrdiff_t size);
 void brk(void* ptr);
 
-int run(const char* file, const char** args, int zero_fd);
+int run(const char* file, char** args, int zero_fd);
 int waitpid(int pid, int block);
 
 int open(const char* filename, int mode);