From: Bennet Bleßmann <bb-github@t-online.de>
Date: Sun, 20 Jul 2025 21:53:01 +0000 (+0200)
Subject: fix timeout default value in process_wait/3
X-Git-Tag: v0.10.0~35^2^2~20
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=7f233da10c6fef0b91de1d21e390e4165e55c9ee;p=scryer-prolog.git

fix timeout default value in process_wait/3
---

diff --git a/src/lib/process.pl b/src/lib/process.pl
index 7a595c0b..b17b3224 100644
--- a/src/lib/process.pl
+++ b/src/lib/process.pl
@@ -39,7 +39,7 @@ process_wait(Pid, Status, Options) :-
     must_be(integer, Pid),
     must_be_known_options([timeout], [], Options),check_options(
         [
-            ([timeout], valid_timeout, infinite, timeout(Timeout))
+            ([timeout], valid_timeout, timeout(infinite), timeout(Timeout))
         ],
         Options
     ),