From 5481067e743450aff5a03c4271762ccbfab85c25 Mon Sep 17 00:00:00 2001 From: Ilya Lesokhin Date: Wed, 3 Jul 2024 15:57:57 +0300 Subject: [PATCH] Fix range_check96 builtin selector. --- .../cairo-lang-starknet-classes/src/casm_contract_class.rs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/crates/cairo-lang-starknet-classes/src/casm_contract_class.rs b/crates/cairo-lang-starknet-classes/src/casm_contract_class.rs index 740eac62d2f..807a7f5655a 100644 --- a/crates/cairo-lang-starknet-classes/src/casm_contract_class.rs +++ b/crates/cairo-lang-starknet-classes/src/casm_contract_class.rs @@ -507,8 +507,9 @@ impl CasmContractClass { let builtins = builtins .iter() - .map(|type_id| { - type_resolver.get_generic_id(type_id).0.as_str().to_case(Case::Snake) + .map(|type_id| match type_resolver.get_generic_id(type_id).0.as_str() { + "RangeCheck96" => "range_check96".to_string(), + name => name.to_case(Case::Snake), }) .collect_vec();