From: Bennet Bleßmann Date: Sun, 20 Jul 2025 21:52:25 +0000 (+0200) Subject: incorporate suggestion by triska X-Git-Tag: v0.10.0~35^2^2~21 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=ff546a0f9ad39e7d3561063a081ada67833de32e;p=scryer-prolog.git incorporate suggestion by triska --- diff --git a/src/lib/process.pl b/src/lib/process.pl index d7bd15f9..7a595c0b 100644 --- a/src/lib/process.pl +++ b/src/lib/process.pl @@ -101,8 +101,7 @@ valid_env(environment(E)) :- ( ). valid_env_([]). -valid_env_([E| ES]) :- - E =.. [=, N, V], +valid_env_([N=V|ES]) :- must_be(chars, N), must_be(chars, V), valid_env_(ES).