make skip_list available to user code
This commit is contained in:
parent
07335ce047
commit
bdb855a57b
@ -46,5 +46,6 @@
|
|||||||
'$hide'('$set_source_module') :- !, fail.
|
'$hide'('$set_source_module') :- !, fail.
|
||||||
'$hide'('$declare_module') :- !, fail.
|
'$hide'('$declare_module') :- !, fail.
|
||||||
'$hide'('$store_clause') :- !, fail.
|
'$hide'('$store_clause') :- !, fail.
|
||||||
|
'$hide'('$skip_list') :- !, fail.
|
||||||
'$hide'(Name) :- hide(Name), fail.
|
'$hide'(Name) :- hide(Name), fail.
|
||||||
|
|
||||||
|
Reference in New Issue
Block a user