diff options
Diffstat (limited to '3rdparty/linenoise/linenoise.h')
-rw-r--r-- | 3rdparty/linenoise/linenoise.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/3rdparty/linenoise/linenoise.h b/3rdparty/linenoise/linenoise.h index d6688099c42..aa1f77ec819 100644 --- a/3rdparty/linenoise/linenoise.h +++ b/3rdparty/linenoise/linenoise.h @@ -125,4 +125,6 @@ int linenoiseColumns(void); void linenoisePreloadBuffer(const char* preloadText); +void linenoiseRefresh(void); + #endif /* __LINENOISE_H */ |