From ae65bb0265f239cb515e3da9b3f3c81e3e1fbf10 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Sun, 14 Feb 2016 04:14:31 +0000
Subject: [PATCH] fix peek

---
 os/readline.c | 1 +
 1 file changed, 1 insertion(+)

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