From 730b913e85893d938c43f7f7a5bb93cefb1c7f05 Mon Sep 17 00:00:00 2001
From: ZhuangYumin <zhuangyumin@sjtu.edu.cn>
Date: Fri, 10 Nov 2023 11:12:15 +0800
Subject: [PATCH] upd: better support str vs other

---
 src/utils.cpp | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/src/utils.cpp b/src/utils.cpp
index 764b039..9b596de 100644
--- a/src/utils.cpp
+++ b/src/utils.cpp
@@ -120,11 +120,6 @@ int ConverToSameArithType(std::any &a, std::any &b,
         "situation",
         33);
   if (allow_string_operation && (ptr_a_string || ptr_b_string)) {
-    if ((ptr_a_float || ptr_a_float))
-      throw InterpretException(
-          "ConverToSameArithType: string operation not allowed in this "
-          "situation",
-          34);
     if (ptr_a_bool) a = ZYM::int2048(*ptr_a_bool);
     if (ptr_b_bool) b = ZYM::int2048(*ptr_b_bool);
     return 1;