rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

simplify os:argv/1 fix

Browse Source
This commit is contained in:
Skgland
2024-01-04 19:26:10 +01:00
committed by Bennet Bleßmann
parent ea0130d114
commit 78b83ca1e1
1 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/lib/os.pl
View File

@@ -137,9 +137,8 @@ raw_argv(Argv) :-
argv(Argv) :- argv(Argv) :-
can_be(list, Argv), can_be(list, Argv),
'$argv'(Argv0), '$argv'(Argv0),
( member("--", Argv0) -> ( append(_, ["--"|Argv1], Argv0) ->
once(append(Argv1, ["--"|Argv], Argv0)), Argv = Argv1
\+ member("--", Argv1)
; ;
Argv = [] Argv = []
). ).