use once to limit solutions instead of cut

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