FIXED: argv_options/3 handing of boolean|Type on last option

SWI-Prolog · Sep 18, 2024 · 126732b · 126732b
1 parent b9e8ca9
commit 126732b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/library/main.pl b/library/main.pl
@@ -416,6 +416,7 @@
     ->  true
     ;   T == []
     ),
+    !,
     Opt =.. [Name,Value],
     Options = [Opt|OptionsT],
     opt_parse(T, Positional, OptionsT, M, POptions).