From a811f56d146fcad274cdeb01cf7dfb855bf5ec95 Mon Sep 17 00:00:00 2001 From: "U-vsc-PC\\vsc" Date: Mon, 11 Nov 2013 10:28:45 +0000 Subject: [PATCH] avoid dot --- pl/load_foreign.yap | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) mode change 100644 => 100755 pl/load_foreign.yap 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.