From b95e0f23fe8f0484e832267a3141c9b20041f18c Mon Sep 17 00:00:00 2001 From: Linda Njau Date: Thu, 21 Nov 2024 15:31:06 +0300 Subject: [PATCH] Refactor index search function Update `get_index` to use `List.find_index`, simplifying the implementation while maintaining functionality. --- src/sail_json_backend/json.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/sail_json_backend/json.ml b/src/sail_json_backend/json.ml index 66147494a..3b1bed55d 100644 --- a/src/sail_json_backend/json.ml +++ b/src/sail_json_backend/json.ml @@ -493,8 +493,7 @@ let map_arg_to_mnemonic arg id = ) (Hashtbl.find_all mappings (String.lowercase_ascii (id ^ "_mnemonic"))) -let get_index elem lst = - List.find_map (fun (i, x) -> if x = elem then Some i else None) (List.mapi (fun i x -> (i, x)) lst) +let get_index elem lst = List.find_index (fun x -> x = elem) lst let map_param_to_arg id param args_list = match Hashtbl.find_opt inputs id with