Fix range_check96 builtin selector. (#5951)

starkware-libs · Jul 3, 2024 · f1458c8 · f1458c8
1 parent a454b32
commit f1458c8
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 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
@@ -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/...o-lang-starknet/test_data/circuit_contract__circuit_contract.compiled_contract_class.json b/...o-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"
         ]