summaryrefslogtreecommitdiff
path: root/loader.pl
diff options
context:
space:
mode:
Diffstat (limited to 'loader.pl')
-rw-r--r--loader.pl2
1 files changed, 2 insertions, 0 deletions
diff --git a/loader.pl b/loader.pl
index 071ac58..cf0fcf3 100644
--- a/loader.pl
+++ b/loader.pl
@@ -111,6 +111,8 @@ handle_directive(include(F), Module, NewModule) :-
close(S).
handle_directive(ensure_loaded(F), Module, Module) :-
ensure_load(F).
+handle_directive(set_prolog_flag(Flag, Value), Module, Module) :-
+ Module:set_prolog_flag(Flag, Value).
handle_directive(module(NewModule, Exports), Module, NewModule) :-
is_atom(NewModule),
'$new_empty_module'(NewModule).