From 8492a537b7cb3250a24edd34b1581a857e687f0e Mon Sep 17 00:00:00 2001
From: woxjro <usuzawa.yoshi.55z@st.kyoto-u.ac.jp>
Date: Sat, 6 Apr 2024 01:52:46 +0900
Subject: [PATCH] refactor(michelify): use into instead of try_into

---
 src/compiler/michelify.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/compiler/michelify.rs b/src/compiler/michelify.rs
index 46baf0f..a007fe1 100644
--- a/src/compiler/michelify.rs
+++ b/src/compiler/michelify.rs
@@ -992,7 +992,7 @@ pub fn retrieve_operations_from_memory(
                 MInstr::Dup,
                 MInstr::Push {
                     ty: MTy::Int,
-                    val: MVal::Int(idx.try_into().unwrap()),
+                    val: MVal::Int(idx.into()),
                 },
                 MInstr::Get,
                 MInstr::AssertSome, // ptr : map-instance