av

2016-04-17 17:09:10 -07:00
parent 76f4868ff6
commit c1b8d140db
11 changed files with 209 additions and 215 deletions
--- a/C/flags.c
+++ b/C/flags.c
@@ -586,7 +586,7 @@ static void initFlag(flag_info *f, int fnum, bool global) {
 static bool executable(Term inp) {
  CACHE_REGS
    if (GLOBAL_argv && GLOBAL_argv[0]) {
-      if (!Yap_AbsoluteFileInBuffer(GLOBAL_argv[0], LOCAL_FileNameBuf, YAP_FILENAME_MAX - 1,true))
+      if (!Yap_AbsoluteFile(GLOBAL_argv[0], LOCAL_FileNameBuf,true))
 	return false;
    } else
    strncpy(LOCAL_FileNameBuf, Yap_FindExecutable(), YAP_FILENAME_MAX - 1);