diff --git a/pl/load_foreign.yap b/pl/load_foreign.yap old mode 100644 new mode 100755 index 7e893c10d..e16bf553d --- a/pl/load_foreign.yap +++ b/pl/load_foreign.yap @@ -96,7 +96,7 @@ open_shared_object(File, Opts, Handle) :- var(Opts), !, '$do_error'(instantiation_error,G). '$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_opt'(Opt, G, OptV), V0 is V \/ OptV.