From: Skgland <bennet.blessmann+github@googlemail.com>
Date: Tue, 2 Jan 2024 20:43:38 +0000 (+0100)
Subject: fix `os:argv(V)` not completing
X-Git-Tag: v0.9.4~40^2~3
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=8bd0317e9c331c5d7e04923e2cf040c197154224;p=scryer-prolog.git

fix `os:argv(V)` not completing
---

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