1 files changed, 16 insertions, 0 deletions
diff --git a/src/user/lib/include/readline.h b/src/user/lib/include/readline.h
new file mode 100644
index 0000000..53193d7
--- /dev/null
+++ b/src/user/lib/include/readline.h
@@ -0,0 +1,16 @@
+#ifndef DEF_READLINE_H
+#define DEF_READLINE_H
+
+#include <stdio.h>
+
+char* freadln(FILE f);		// minimal line-reading function. user must free the returned value.
+
+typedef struct _rdln_hist {
+	int max;
+	int n;
+	char **str;
+} readline_history;
+char* readline(FILE f, readline_history *h);
+
+#endif
+