avoid dot
This commit is contained in:
parent
5e6cc55713
commit
a811f56d14
2
pl/load_foreign.yap
Normal file → Executable file
2
pl/load_foreign.yap
Normal file → Executable file
@ -96,7 +96,7 @@ open_shared_object(File, Opts, Handle) :-
|
|||||||
var(Opts), !,
|
var(Opts), !,
|
||||||
'$do_error'(instantiation_error,G).
|
'$do_error'(instantiation_error,G).
|
||||||
'$open_shared_opts'([], _, 0) :- !.
|
'$open_shared_opts'([], _, 0) :- !.
|
||||||
'$open_shared_opts'(Opt.Opts, G, V) :-
|
'$open_shared_opts'([Opt|Opts], G, V) :-
|
||||||
'$open_shared_opts'(Opts, G, V0),
|
'$open_shared_opts'(Opts, G, V0),
|
||||||
'$open_shared_opt'(Opt, G, OptV),
|
'$open_shared_opt'(Opt, G, OptV),
|
||||||
V0 is V \/ OptV.
|
V0 is V \/ OptV.
|
||||||
|
Reference in New Issue
Block a user