From ae632532e83900e78863aac15a9ce4c5988871ea Mon Sep 17 00:00:00 2001
From: Giulio Eulisse <10544+ktf@users.noreply.github.com>
Date: Fri, 24 Apr 2026 11:16:32 +0200
Subject: [PATCH] DPL: do not forward defaulted options

Actually aligns with the comment
---
 Framework/Core/src/DeviceSpecHelpers.cxx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Framework/Core/src/DeviceSpecHelpers.cxx b/Framework/Core/src/DeviceSpecHelpers.cxx
index 88e5269482ebd..c6ecbcda625b1 100644
--- a/Framework/Core/src/DeviceSpecHelpers.cxx
+++ b/Framework/Core/src/DeviceSpecHelpers.cxx
@@ -1600,7 +1600,7 @@ void DeviceSpecHelpers::prepareArguments(bool defaultQuiet, bool defaultStopped,
         // find the option belonging to key, add if the option has been parsed
         // and is not defaulted
         const auto* description = odesc.find_nothrow(varit.first, false);
-        if (description && varmap.count(varit.first)) {
+        if (description && varmap.count(varit.first) && !varit.second.defaulted()) {
           // check the semantics of the value
           auto semantic = description->semantic();
           const char* optarg = "";