From 33c2828b7fe5e8e9918e2868010180d2108c476a Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Tue, 11 May 2010 13:57:52 +0100 Subject: [PATCH] make sure autoload is seen as dynamic by the system. --- pl/flags.yap | 2 -- pl/init.yap | 2 ++ 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/pl/flags.yap b/pl/flags.yap index d49b86d8a..7540e8f1c 100644 --- a/pl/flags.yap +++ b/pl/flags.yap @@ -33,8 +33,6 @@ yap_flag(V,Out) :- yap_flag(fast,on) :- set_value('$fast',true). yap_flag(fast,off) :- !, set_value('$fast',[]). -:- dynamic autolader:autoload/0. - % do or do not machine code yap_flag(autoload,V) :- var(V), !, diff --git a/pl/init.yap b/pl/init.yap index 886d993e8..c85304b43 100644 --- a/pl/init.yap +++ b/pl/init.yap @@ -159,6 +159,8 @@ yap_hacks:cut_by(CP) :- '$$cut_by'(CP). % :- ( recorded('$loaded','$loaded'(_,_,_),R), erase(R), fail ; true ). +:- dynamic autoloader:autoload/0. + :- set_value('$user_module',user), '$protect'. :- style_check([]).