From 0200f39661ddc1b350a2aa9a6ba2068e1b44f6cc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Sun, 14 Dec 2014 19:21:51 +0000 Subject: [PATCH] oops --- os/pl-prologflag.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/os/pl-prologflag.c b/os/pl-prologflag.c index f1121a835..09756fc59 100755 --- a/os/pl-prologflag.c +++ b/os/pl-prologflag.c @@ -1136,7 +1136,7 @@ initPrologFlags(void) #endif #if defined(HAVE_DLOPEN) || defined(HAVE_SHL_LOAD) || defined(EMULATE_DLOPEN) || defined(HAVE_LOAD_LIBRARY) setPrologFlag("open_shared_object", FT_BOOL|FF_READONLY, TRUE, 0); - setPrologFlag("shared_object_extension", FT_ATOM|FF_READONLY, SO_EXT+1); + setPrologFlag("shared_object_extension", FT_ATOM|FF_READONLY, SO_EXT); setPrologFlag("shared_object_search_path", FT_ATOM|FF_READONLY, SO_PATH); #endif setPrologFlag("address_bits", FT_INTEGER|FF_READONLY, sizeof(void*)*8);