summaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
-rw-r--r--3rdparty/linenoise-ng/src/linenoise.cpp4
1 files changed, 2 insertions, 2 deletions
diff --git a/3rdparty/linenoise-ng/src/linenoise.cpp b/3rdparty/linenoise-ng/src/linenoise.cpp
index 751c535d084..38ef90bd63b 100644
--- a/3rdparty/linenoise-ng/src/linenoise.cpp
+++ b/3rdparty/linenoise-ng/src/linenoise.cpp
@@ -2296,7 +2296,7 @@ int InputBuffer::incrementalHistorySearch(PromptBase& pi, int startChar) {
historyLinePosition);
}
fprintf(stdout, "\n");
- std::exit(0);
+ exit(0);
//#endif
// these characters update the search string, and hence the selected input
@@ -2938,7 +2938,7 @@ int InputBuffer::getInputLine(PromptBase& pi) {
//if (!pi.write()) break; // Redraw prompt
//refreshLine(pi); // Refresh the line
fprintf(stdout,"\n");
- std::exit(0);
+ exit(0);
//break;
//#endif