SWI compatibility

This commit is contained in:
Vitor Santos Costa 2010-03-14 09:31:25 +00:00
parent 3683da028a
commit d33be13487
1 changed files with 1 additions and 0 deletions

View File

@ -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.