From 44bd405ed3c33e6002bdefc83153c94031d3376e Mon Sep 17 00:00:00 2001 From: ridiculousfish Date: Sat, 21 Sep 2013 16:27:37 -0700 Subject: [PATCH] reader_replace_current_token can be made static --- reader.cpp | 2 +- reader.h | 5 ----- 2 files changed, 1 insertion(+), 6 deletions(-) diff --git a/reader.cpp b/reader.cpp index a1074627d..94074b7f4 100644 --- a/reader.cpp +++ b/reader.cpp @@ -2162,7 +2162,7 @@ static void set_command_line_and_position(const wcstring &new_str, size_t pos) reader_repaint(); } -void reader_replace_current_token(const wchar_t *new_token) +static void reader_replace_current_token(const wchar_t *new_token) { const wchar_t *begin, *end; diff --git a/reader.h b/reader.h index 0ead2aa40..28340ad7a 100644 --- a/reader.h +++ b/reader.h @@ -216,11 +216,6 @@ void reader_set_exit_on_interrupt(bool flag); */ int exit_status(); -/** - Replace the current token with the specified string -*/ -void reader_replace_current_token(const wchar_t *new_token); - /** The readers interrupt signal handler. Cancels all currently running blocks. */