fix os:argv/1

2024-01-02 19:55:27 +01:00
parent 9a05ca0667
commit 91df533834
1 changed files with 2 additions and 1 deletions
--- a/src/lib/os.pl
+++ b/src/lib/os.pl
@@ -137,7 +137,8 @@ raw_argv(Argv) :-
 argv(Argv) :-
    can_be(list, Argv),
    '$argv'(Argv0),
-    (    append(_, ["--"|Argv], Argv0) ->
+    (    append(Argv1, ["--"|Argv], Argv0) ->
+         \+ member("--", Argv1),
 	 true
    ;    Argv = []
    ).