diff --git a/pl/consult.yap b/pl/consult.yap index 582925659..16f58cda7 100755 --- a/pl/consult.yap +++ b/pl/consult.yap @@ -756,7 +756,7 @@ remove_from_path(New) :- '$check_path'(New,Path), ( Reconsult \== consult, Reconsult \== not_loaded, Reconsult \== changed, recorded('$lf_loaded','$lf_loaded'(F, _),R), erase(R), fail ; var(Reconsult) -> Reconsult = consult ; true ), ( Reconsult \== consult, recorded('$lf_loaded','$lf_loaded'(F, _, _, _, _, _, _),R), erase(R), fail ; var(Reconsult) -> Reconsult = consult ; true ), ( F == user_input -> Age = 0 ; time_file64(F, Age) ), - recorda('$lf_loaded','$lf_loaded'( F, Age), _), + ( recordaifnot('$lf_loaded','$lf_loaded'( F, Age), _) -> true ; true ), recorda('$lf_loaded','$lf_loaded'( F, M, Reconsult, UserFile, OldF, Line, Opts), _). '$set_encoding'(Encoding) :- diff --git a/pl/lists.yap b/pl/lists.yap index 77aa402f2..38a97d819 100644 --- a/pl/lists.yap +++ b/pl/lists.yap @@ -1,5 +1,5 @@ -:- source. +:- '$set_yap_flags'(11,1). % source. % memberchk(+Element, +Set) % means the same thing, but may only be used to test whether a known @@ -24,5 +24,5 @@ lists:append([H|T], L, [H|R]) :- lists:append(T, L, R). -:- no_source. +:- '$set_yap_flags'(11,0). % :- no_source.