From 318c90696681f825b3b76c9c36dd62485cd00899 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Tue, 14 Jun 2011 09:03:00 +0100
Subject: [PATCH] export some SWI builtins

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

diff --git a/pl/protect.yap b/pl/protect.yap
index b847548b5..a1aa471ea 100644
--- a/pl/protect.yap
+++ b/pl/protect.yap
@@ -41,5 +41,10 @@
 '$hide'('$hacks') :- !, fail.			
 '$hide'('$source_location') :- !, fail.			
 '$hide'('$messages') :- !, fail.		
+'$hide'('$push_input_context') :- !, fail.		
+'$hide'('$pop_input_context') :- !, fail.		
+'$hide'('$set_source_module') :- !, fail.		
+'$hide'('$declare_module') :- !, fail.		
+'$hide'('$store_clause') :- !, fail.		
 '$hide'(Name) :- hide(Name), fail.