From ab675e071a2b16522424dceee0196b0451c94ade Mon Sep 17 00:00:00 2001 From: =?utf8?q?Bennet=20Ble=C3=9Fmann?= Date: Sat, 26 Jul 2025 18:46:47 +0200 Subject: [PATCH] adjust error kind --- 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 d66c2ea4..6f682ac8 100644 --- a/src/lib/process.pl +++ b/src/lib/process.pl @@ -152,7 +152,7 @@ check_options([X | XS], Options) :- ( Solutions = [] -> Choice = Default; Solutions = [Provided] -> call(Pred, Provided), Choice = Provided ; - error(evaluation_error(confliction_options, Solutions), process_create/3) + error(domain_error(non_confliction_process_options, Solutions), process_create/3) ), check_options(XS, Options). -- 2.54.0