From 0e262df2ee73cdfc4411af89c12eba22bd988c40 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Sat, 19 Jan 2013 09:59:31 +0000
Subject: [PATCH] fix readline interrupts.

---
 C/iopreds.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/C/iopreds.c b/C/iopreds.c
index 65d2fafc3..665ff5b50 100644
--- a/C/iopreds.c
+++ b/C/iopreds.c
@@ -219,10 +219,10 @@ Yap_GetCharForSIGINT(void)
 {
   int ch;
   /* ask for a new line */
-  fprintf(stderr, "Action (h for help): ");
-  ch = getc(stdin);
+  Sfprintf(Serror, "\nAction (h for help): ");
+  ch = Sgetchar();
   /* first process up to end of line */
-  while ((fgetc(stdin)) != '\n');
+  while ((Sfgetc(Sinput)) != '\n');
   newline = TRUE;
   return ch;
 }