From 98ffcbaef3fe0a1a8647d4ddf062f5dc4a3e999a Mon Sep 17 00:00:00 2001
From: Kilian Weishaupt <kilian.weishaupt@iws.uni-stuttgart.de>
Date: Thu, 25 Jul 2019 09:45:49 +0200
Subject: [PATCH] [logginParameterTree] Exclude "ParamFile" from unused params
---
dumux/common/loggingparametertree.hh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dumux/common/loggingparametertree.hh b/dumux/common/loggingparametertree.hh
index feae24e46a..7770aac769 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
--
GitLab