From e321f29b9c54bf7ee8e7eb4cddc6d406ec52ba92 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Bennet=20Ble=C3=9Fmann?= <bb-github@t-online.de>
Date: Sun, 20 Jul 2025 18:34:45 +0200
Subject: [PATCH] rename pid to process

---
 src/lib/process.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.54.0