From: Skgland <bennet.blessmann+github@googlemail.com>
Date: Thu, 4 Jan 2024 17:14:32 +0000 (+0100)
Subject: use once to limit solutions instead of cut
X-Git-Tag: v0.9.4~40^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=ea0130d114711f1688ad947c1a46e38126d11bc5;p=scryer-prolog.git

use once to limit solutions instead of cut
---

diff --git a/src/lib/os.pl b/src/lib/os.pl
index 00c3e914..cf303394 100644
--- a/src/lib/os.pl
+++ b/src/lib/os.pl
@@ -138,9 +138,8 @@ argv(Argv) :-
     can_be(list, Argv),
     '$argv'(Argv0),
     ( member("--", Argv0) ->
-        append(Argv1, ["--"|Argv], Argv0),
-        \+ member("--", Argv1),
-        !
+        once(append(Argv1, ["--"|Argv], Argv0)),
+        \+ member("--", Argv1)
     ;
         Argv = []
     ).