upd: fix bug in Any2String

2023-11-09 10:03:47 +08:00
parent cfdc5e5a1c
commit b737eb8e7d
2 changed files with 17 additions and 1 deletions
--- a/src/utils.cpp
+++ b/src/utils.cpp
@ -59,6 +59,8 @@ std::string Any2String(const std::any &value) {
      buf << "False";
  } else if (auto ptr = std::any_cast<ZYM::int2048>(&value))
    buf << *ptr;
+  else if (auto ptr = std::any_cast<std::string>(&value))
+    buf << *ptr;
  else
    throw FatalError("Any2String: unknown type");
  buf >> res;