FIXED: library(main): superfluous choice point in argv_options/3

SWI-Prolog · Nov 17, 2024 · 9beae60 · 9beae60
1 parent a06d3ec
commit 9beae60
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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) },
     !,