Skip to content
Snippets Groups Projects
Commit 3a232ad4 authored by Timo Koch's avatar Timo Koch
Browse files

Merge branch 'feature/rename-output-default-params' into 'master'

output of default parameters used

See merge request !1228
parents 9e574122 097253e1
No related branches found
No related tags found
2 merge requests!1269[1pncmin tests changed],!1228output of default parameters used
...@@ -81,7 +81,7 @@ public: ...@@ -81,7 +81,7 @@ public:
stream << "\n# Runtime-specified parameters used:" << std::endl; stream << "\n# Runtime-specified parameters used:" << std::endl;
usedRuntimeParams_.report(stream); usedRuntimeParams_.report(stream);
stream << "\n# Default parameters used:" << std::endl; stream << "\n# Global default parameters used:" << std::endl;
usedDefaultParams_.report(stream); usedDefaultParams_.report(stream);
const auto unusedParams = getUnusedKeys(); const auto unusedParams = getUnusedKeys();
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment