rename pid to process

diff --git a/src/lib/process.pl b/src/lib/process.pl
index 06e82a292981ea29ec1b307162bc6a3ff467d86f..52fc2b2a18ef70d39d9d7690f1f6078a5d88886a 100644 (file)
--- 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