From: Bennet Bleßmann <bb-github@t-online.de>
Date: Sun, 20 Jul 2025 16:34:45 +0000 (+0200)
Subject: rename pid to process
X-Git-Tag: v0.10.0~35^2^2~27
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=e321f29b9c54bf7ee8e7eb4cddc6d406ec52ba92;p=scryer-prolog.git

rename pid to process
---

diff --git a/src/lib/process.pl b/src/lib/process.pl
index 06e82a29..52fc2b2a 100644
--- a/src/lib/process.pl
+++ b/src/lib/process.pl
@@ -16,7 +16,7 @@ process_create(Exe, Args, Options) :-
             ([stdout], valid_stdio, stdout(std), stdout(Stdout)),
             ([stderr], valid_stdio, stderr(std), stderr(Stderr)),
             ([env, environment], valid_env, environment([]), Env),
-            ([pid], valid_pid, pid(_), pid(Pid)),
+            ([process], valid_pid, process(_), process(Pid)),
             ([cwd], valid_cwd, cwd("."), cwd(Cwd))
         ],
         Options