fix `os:argv(V)` not completing

diff --git a/src/lib/os.pl b/src/lib/os.pl
index 8b0087a4be08cd0640309974d91e7f1b15f79945..00c3e914bead6edfcce3ca976b89ecb461abe8c4 100644 (file)
--- 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 = []
     ).