allow term_expansion from system
This commit is contained in:
parent
15546096fe
commit
e21526ffc8
@ -1164,6 +1164,8 @@ access_file(F,Mode) :-
|
||||
expand_term(Term,Expanded) :-
|
||||
( '$current_module'(Mod), \+ '$undefined'(term_expansion(_,_), Mod),
|
||||
'$notrace'(Mod:term_expansion(Term,Expanded))
|
||||
; \+ '$undefined'(term_expansion(_,_), system),
|
||||
'$notrace'(system:term_expansion(Term,Expanded))
|
||||
; \+ '$undefined'(term_expansion(_,_), user),
|
||||
'$notrace'(user:term_expansion(Term,Expanded))
|
||||
;
|
||||
|
Reference in New Issue
Block a user