From 407280ea3b7da2d1a900476c1d931e68d79ea71a Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Thu, 12 May 2016 11:39:29 +0100
Subject: [PATCH] fix tab/1

---
 os/charsio.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/os/charsio.c b/os/charsio.c
index 0d0ff8e34..9db8a0102 100644
--- a/os/charsio.c
+++ b/os/charsio.c
@@ -1217,5 +1217,5 @@ void Yap_InitCharsio(void) {
   Yap_InitCPred("skip", 2, skip, SafePredFlag | SyncPredFlag);
   Yap_InitCPred("skip1", 1, skip_1, SafePredFlag | SyncPredFlag);
   Yap_InitCPred("tab", 2, tab, SafePredFlag | SyncPredFlag);
-  Yap_InitCPred("tab1", 1, tab_1, SafePredFlag | SyncPredFlag);
+  Yap_InitCPred("tab", 1, tab_1, SafePredFlag | SyncPredFlag);
 }