use the string argument in DiscreteKeys::print

2023-09-18 22:54:23 -04:00 · 2023-09-18 22:54:23 -04:00 · 84b42ed392
parent e920953309
commit 84b42ed392
1 changed files with 1 additions and 0 deletions
--- a/gtsam/discrete/DiscreteKey.cpp
+++ b/gtsam/discrete/DiscreteKey.cpp
@ -49,6 +49,7 @@ namespace gtsam {

  void DiscreteKeys::print(const std::string& s,
                           const KeyFormatter& keyFormatter) const {
+    std::cout << (s.empty() ? "" : s + " ") << std::endl;
    for (auto&& dkey : *this) {
      std::cout << DefaultKeyFormatter(dkey.first) << " " << dkey.second
                << std::endl;