diff --git a/src/CLI.cpp b/src/CLI.cpp index ac99092ca..462d74a2d 100644 --- a/src/CLI.cpp +++ b/src/CLI.cpp @@ -247,6 +247,13 @@ void CLI::dump (const std::string& label) const std::map ::const_iterator m; for (m = _overrides.begin (); m != _overrides.end (); ++m) std::cout << "# _overrides '" << m->first << "' --> '" << m->second << "'\n"; + + for (i = _filter.begin (); i != _filter.end (); ++i) + std::cout << "# _filter '" << *i << "'\n"; + + for (i = _modifications.begin (); i != _modifications.end (); ++i) + std::cout << "# _modifications '" << *i << "'\n"; + } ////////////////////////////////////////////////////////////////////////////////