From 9beae60c55b8663c7e2961ac58400767eeff3dba Mon Sep 17 00:00:00 2001
From: Jan Wielemaker <jan@swi-prolog.org>
Date: Sun, 17 Nov 2024 15:09:15 +0100
Subject: [PATCH] FIXED: library(main): superfluous choice point in
 argv_options/3

---
 library/main.pl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/library/main.pl b/library/main.pl
index dc71b9f432..9629ba14c7 100644
--- a/library/main.pl
+++ b/library/main.pl
@@ -801,7 +801,8 @@
     sequence(option(Type, Meta), [', '-[]], Opts).
 
 option(boolean, _, Opt) -->
-    opt(Opt).
+    opt(Opt),
+    !.
 option(_Type, [Meta], Opt) -->
     \+ { short_opt(Opt) },
     !,