avoid hiding without reason
This commit is contained in:
parent
35bebd3a56
commit
148a5f3acd
@ -32,8 +32,8 @@ xc/*************************************************************************
|
|||||||
'$protect' :-
|
'$protect' :-
|
||||||
current_atom(Name),
|
current_atom(Name),
|
||||||
atom_codes(Name,[0'$|_]), %'
|
atom_codes(Name,[0'$|_]), %'
|
||||||
%'$hide_predicates'(Name),
|
'$hide_predicates'(Name),
|
||||||
hide(Name),
|
'$hide'(Name),
|
||||||
fail.
|
fail.
|
||||||
'$protect' :-
|
'$protect' :-
|
||||||
'$hide_predicates'(bootstrap),
|
'$hide_predicates'(bootstrap),
|
||||||
|
Reference in New Issue
Block a user