From 1fcb98869ff3164b1df8912df25434f6ceea5c15 Mon Sep 17 00:00:00 2001
From: ZhuangYumin <zhuangyumin@sjtu.edu.cn>
Date: Fri, 10 Nov 2023 09:25:56 +0800
Subject: [PATCH] fix: error in Any2Bool

---
 src/utils.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/utils.cpp b/src/utils.cpp
index 0bbc29b..5e6ba4c 100644
--- a/src/utils.cpp
+++ b/src/utils.cpp
@@ -82,7 +82,9 @@ bool Any2Bool(const std::any &value) {
     return *ptr;
   } else if (auto ptr = std::any_cast<std::string>(&value)) {
     return (*ptr) != "";
-  } else
+  } else if (auto ptr = std::any_cast<NoneType>(&value))
+    return false;
+  else
     throw FatalError("Any2Bool: unknown type", 32);
 }