fix rename pid to process

diff --git a/src/lib/process.pl b/src/lib/process.pl
index 358484c53587c5fae8bcce3d94de8343aa56ab1c..157aa520660815978477ed365d970dd2f0fa23ba 100644 (file)
--- a/src/lib/process.pl
+++ b/src/lib/process.pl
@@ -15,14 +15,14 @@ process_create(Exe, Args, Options) :-
     must_be(list, Args),
     maplist(must_be(chars), Args),
     must_be(list, Options),
-    must_be_known_options([stdin, stdout, stderr, env, environment, pid, cwd], [], Options),
+    must_be_known_options([stdin, stdout, stderr, env, environment, process, cwd], [], Options),
     check_options(
         [
             ([stdin], valid_stdio, stdin(std), stdin(Stdin)),
             ([stdout], valid_stdio, stdout(std), stdout(Stdout)),
             ([stderr], valid_stdio, stderr(std), stderr(Stderr)),
             ([env, environment], valid_env, environment([]), Env),
-            ([process], valid_pid, process(_), process(Pid)),
+            ([process], valid_process, process(_), process(Pid)),
             ([cwd], valid_cwd, cwd("."), cwd(Cwd))
         ],
         Options
@@ -108,7 +108,8 @@ valid_env_([N=V|ES]) :-
     must_be(chars, V),
     valid_env_(ES).
 
-valid_pid(pid(Pid)) :- must_be(var, Pid).
+valid_process(process(Pid)) :- must_be(var, Pid).
+
 valid_cwd(cwd(Cwd)) :- must_be(chars, Cwd).
 
 simplify_env(E, [Kind, Envs1]) :- E =.. [Kind, Envs], simplify_env_(Envs, Envs1).