diff options
Diffstat (limited to 'lib/mp-readline/readline.h')
| -rw-r--r-- | lib/mp-readline/readline.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/mp-readline/readline.h b/lib/mp-readline/readline.h index c901464f49..6105cea008 100644 --- a/lib/mp-readline/readline.h +++ b/lib/mp-readline/readline.h @@ -32,6 +32,7 @@ void readline_init0(void); int readline(vstr_t *line, const char *prompt); +void readline_push_history(const char *line); void readline_init(vstr_t *line, const char *prompt); void readline_note_newline(const char *prompt); |