From 407815e09aae160b5bb78e60d54282263c17ce8c Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Fri, 27 Oct 2017 13:56:01 +0100
Subject: [PATCH] skip1??

---
 os/charsio.c | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/os/charsio.c b/os/charsio.c
index 6d01564e3..2c35596b6 100644
--- a/os/charsio.c
+++ b/os/charsio.c
@@ -1115,8 +1115,7 @@ static Int peek_char(USES_REGS1) {
     return false;
   }
   sinp[off] = '\0';
-  return Yap_unify_constant(
-      ARG2, MkAtomTerm(Yap_ULookupAtom(sinp)));
+  return Yap_unify_constant(ARG2, MkAtomTerm(Yap_ULookupAtom(sinp)));
 }
 
 /** @pred  peek_char( - _C_) is iso
@@ -1216,7 +1215,7 @@ void Yap_InitCharsio(void) {
   Yap_InitCPred("peek_char", 1, peek_char_1, SafePredFlag | SyncPredFlag);
   Yap_InitCPred("peek_byte", 1, peek_byte_1, SafePredFlag | SyncPredFlag);
   Yap_InitCPred("skip", 2, skip, SafePredFlag | SyncPredFlag);
-  Yap_InitCPred("skip1", 1, skip_1, SafePredFlag | SyncPredFlag);
+  Yap_InitCPred("skip", 1, skip_1, SafePredFlag | SyncPredFlag);
   Yap_InitCPred("tab", 2, tab, SafePredFlag | SyncPredFlag);
   Yap_InitCPred("tab", 1, tab_1, SafePredFlag | SyncPredFlag);
 }