From e33b7502b54b0041c145dec779fd30ccea66ba47 Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Sun, 14 Mar 2010 09:31:25 +0000 Subject: [PATCH] SWI compatibility --- pl/protect.yap | 1 + 1 file changed, 1 insertion(+) diff --git a/pl/protect.yap b/pl/protect.yap index a1538558b..b847548b5 100644 --- a/pl/protect.yap +++ b/pl/protect.yap @@ -39,6 +39,7 @@ '$hide'('$stream') :- !, fail. /* not $STREAM */ '$hide'('$stream_position') :- !, fail. /* not stream position */ '$hide'('$hacks') :- !, fail. +'$hide'('$source_location') :- !, fail. '$hide'('$messages') :- !, fail. '$hide'(Name) :- hide(Name), fail.