incorporate suggestion by triska

This commit is contained in:
Bennet Bleßmann
2025-07-20 23:52:25 +02:00
committed by Bennet Bleßmann
parent 746d4fd106
commit ff546a0f9a

View File

@@ -101,8 +101,7 @@ valid_env(environment(E)) :- (
). ).
valid_env_([]). valid_env_([]).
valid_env_([E| ES]) :- valid_env_([N=V|ES]) :-
E =.. [=, N, V],
must_be(chars, N), must_be(chars, N),
must_be(chars, V), must_be(chars, V),
valid_env_(ES). valid_env_(ES).