From 87987d0b852e710545e3c3dd679c819588602791 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Fri, 17 Oct 2008 12:37:39 +0100
Subject: [PATCH] fix extra arguments.

---
 C/stdpreds.c | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/C/stdpreds.c b/C/stdpreds.c
index b19983384..958982947 100644
--- a/C/stdpreds.c
+++ b/C/stdpreds.c
@@ -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') {