diff --git a/dumux/common/loggingparametertree.hh b/dumux/common/loggingparametertree.hh index feae24e46a9017671caf6f5382a838b9f3274426..7770aac7698fc0b746ac829379d018dfe6055bd9 100644 --- a/dumux/common/loggingparametertree.hh +++ b/dumux/common/loggingparametertree.hh @@ -467,7 +467,7 @@ private: // store keys which were not accessed const auto& keys = tree.getValueKeys(); for (const auto& key : keys) - if (!usedRuntimeParams_.hasKey(prefix + key)) + if (key != "ParameterFile" && !usedRuntimeParams_.hasKey(prefix + key)) unusedParams.push_back(prefix + key); // recursively loop over all subtrees