fix extra arguments.

This commit is contained in:
Vitor Santos Costa 2008-10-17 12:37:39 +01:00
parent 9403ea8942
commit 87987d0b85
1 changed files with 8 additions and 1 deletions

View File

@ -3439,7 +3439,14 @@ mk_argc_list(void)
for (j = Yap_argc-1; j > i+1; --j) {
t = MkPairTerm(MkAtomTerm(Yap_LookupAtom(Yap_argv[j])),t);
}
return(t);
return t;
} else if (Yap_argv[i+1] && Yap_argv[i+1][0] == '-' && Yap_argv[i+1][1] == '-' && Yap_argv[i+1][2] == '\0') {
/* we found the separator */
int j;
for (j = Yap_argc-1; j > i+2; --j) {
t = MkPairTerm(MkAtomTerm(Yap_LookupAtom(Yap_argv[j])),t);
}
return t;
}
}
if (arg[0] == '-' && arg[1] == '-' && arg[2] == '\0') {