fix bad call to use_module.
This commit is contained in:
parent
8a4590f3ce
commit
5721ce5e7d
@ -455,11 +455,11 @@ of predicates.
|
|||||||
'$process_module_decls_option'(Var,M) :-
|
'$process_module_decls_option'(Var,M) :-
|
||||||
var(Var),
|
var(Var),
|
||||||
'$do_error'(instantiation_error,M).
|
'$do_error'(instantiation_error,M).
|
||||||
'$process_module_decls_option'(At,_) :-
|
'$process_module_decls_option'(At,M) :-
|
||||||
atom(At), !,
|
atom(At), !,
|
||||||
'$use_module'(At).
|
use_module(M:At).
|
||||||
'$process_module_decls_option'(library(L),_) :- !,
|
'$process_module_decls_option'(library(L),M) :- !,
|
||||||
'$use_module'(library(L)).
|
use_module(M:library(L)).
|
||||||
'$process_module_decls_option'(hidden(Bool),M) :- !,
|
'$process_module_decls_option'(hidden(Bool),M) :- !,
|
||||||
'$process_hidden_module'(Bool, M).
|
'$process_hidden_module'(Bool, M).
|
||||||
'$process_module_decls_option'(Opt,M) :-
|
'$process_module_decls_option'(Opt,M) :-
|
||||||
|
Reference in New Issue
Block a user