From bdb855a57beb14a7e33f709403dda7f308d0a77b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Thu, 22 Mar 2012 23:30:02 +0000
Subject: [PATCH] make skip_list available to user code

---
 pl/protect.yap | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pl/protect.yap b/pl/protect.yap
index a1aa471ea..bdf761731 100644
--- a/pl/protect.yap
+++ b/pl/protect.yap
@@ -46,5 +46,6 @@
 '$hide'('$set_source_module') :- !, fail.		
 '$hide'('$declare_module') :- !, fail.		
 '$hide'('$store_clause') :- !, fail.		
+'$hide'('$skip_list') :- !, fail.		
 '$hide'(Name) :- hide(Name), fail.