From: Bennet Bleßmann <bb-github@t-online.de>
Date: Sat, 26 Jul 2025 16:46:47 +0000 (+0200)
Subject: adjust error kind
X-Git-Tag: v0.10.0~35^2^2~13
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=ab675e071a2b16522424dceee0196b0451c94ade;p=scryer-prolog.git

adjust error kind
---

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).