From 59379a6356e6f2f5b5cad8833df97bea7d20079f Mon Sep 17 00:00:00 2001
From: ZhuangYumin <zhuangyumin@sjtu.edu.cn>
Date: Thu, 9 Nov 2023 20:11:29 +0800
Subject: [PATCH] fix: missing None in Any2Int

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

diff --git a/src/utils.cpp b/src/utils.cpp
index 5c5ccf0..3fc600b 100644
--- a/src/utils.cpp
+++ b/src/utils.cpp
@@ -21,8 +21,12 @@ inline ZYM::int2048 Any2Int(const std::any &value) {
       str = integer_part;
     }
     return std::move(ZYM::int2048(str));
-  } else
+  } else if (auto ptr = std::any_cast<NoneType>(&value))
+    return std::move(ZYM::int2048(0));
+  else {
+    std::cerr << value.type().name() << std::endl;
     throw FatalError("Any2Int2048: unknown type");
+  }
 }
 
 double Any2Float(const std::any &value) {