From 489ba3f0e9acbd596538b01ee55e822b220c4736 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 +++-- ...t_contract__circuit_contract.compiled_contract_class.json | 2 +- 2 files changed, 4 insertions(+), 3 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(); diff --git a/crates/cairo-lang-starknet/test_data/circuit_contract__circuit_contract.compiled_contract_class.json b/crates/cairo-lang-starknet/test_data/circuit_contract__circuit_contract.compiled_contract_class.json index cc5937d693c..911c0373a77 100644 --- a/crates/cairo-lang-starknet/test_data/circuit_contract__circuit_contract.compiled_contract_class.json +++ b/crates/cairo-lang-starknet/test_data/circuit_contract__circuit_contract.compiled_contract_class.json @@ -4005,7 +4005,7 @@ "offset": 0, "builtins": [ "range_check", - "range_check_96", + "range_check96", "add_mod", "mul_mod" ]