fix timeout default value in process_wait/3

diff --git a/src/lib/process.pl b/src/lib/process.pl
index 7a595c0bde0a4fce4bb5bae706d87d8567aaef5d..b17b3224cbf90569d2aa1f6a05ea07bbc26b4f44 100644 (file)
--- 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
     ),