From 126732b2729b5ad933ada8fdaac687503d97adc8 Mon Sep 17 00:00:00 2001
From: Jan Wielemaker <jan@swi-prolog.org>
Date: Wed, 18 Sep 2024 17:27:13 +0200
Subject: [PATCH] FIXED: argv_options/3 handing of `boolean|Type` on last
 option

---
 library/main.pl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/library/main.pl b/library/main.pl
index 15e6149f1b..145bfc07c5 100644
--- 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).