adjust error for duplicate options

diff --git a/src/lib/process.pl b/src/lib/process.pl
index 157aa520660815978477ed365d970dd2f0fa23ba..54707b7c7ae56c4685cb9ad8e1d9b670e13b30d9 100644 (file)
--- 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)
     ),