diff --git a/os/readline.c b/os/readline.c index 2902f5d7f..758f150a9 100644 --- a/os/readline.c +++ b/os/readline.c @@ -327,6 +327,7 @@ Int Yap_ReadlinePeekChar(int sno) { if (ch == '\0') { ch = '\n'; } + return ch; } if (getLine(sno, StdErrStream)) { CACHE_REGS