Skip to content

Commit

Permalink
refactor(michelify): use into instead of try_into
Browse files Browse the repository at this point in the history
  • Loading branch information
woxjro committed Apr 5, 2024
1 parent 65a7ab8 commit 8492a53
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/compiler/michelify.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 8492a53

Please sign in to comment.