From d2ffd4f4bf2bd82dbfcc3e378fd8a9da158ed299 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Bennet=20Ble=C3=9Fmann?= Date: Mon, 21 Jul 2025 00:25:34 +0200 Subject: [PATCH] adjust error for duplicate options --- 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 157aa520..54707b7c 100644 --- a/src/lib/process.pl +++ b/src/lib/process.pl @@ -62,7 +62,7 @@ must_be_known_options(_, _, []). must_be_known_options(Valid, Found, [X|XS]) :- X =.. [Option|_], ( - member(Option, Found) -> error(evaluation_error(duplicate_options), process_create/3); + member(Option, Found) -> domain_error(non_duplicate_process_create_options, process_create/3); member(Option, Valid) -> true ; domain_error(process_create_option, Option, process_create/3) ), -- 2.54.0