From: Bennet Bleßmann <bb-github@t-online.de>
Date: Sun, 20 Jul 2025 22:25:34 +0000 (+0200)
Subject: adjust error for duplicate  options
X-Git-Tag: v0.10.0~35^2^2~17
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=d2ffd4f4bf2bd82dbfcc3e378fd8a9da158ed299;p=scryer-prolog.git

adjust error for duplicate  options
---

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