From 05eba2f411d60b009abe1e09efd141b751cc1625 Mon Sep 17 00:00:00 2001 From: Nitish Date: Thu, 23 May 2024 14:53:48 +0530 Subject: [PATCH] fixup! emit the dep fns info into a top level json array 'nested_functions' --- src/sail_json_backend/json.ml | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/sail_json_backend/json.ml b/src/sail_json_backend/json.ml index 3bebeb07c..d684a1d4b 100644 --- a/src/sail_json_backend/json.ml +++ b/src/sail_json_backend/json.ml @@ -540,8 +540,6 @@ let json_of_extensions k = None -> "" | Some (l) -> String.concat "," l -let json_of_dependent_functions = () - let json_of_instruction k v = "{\n" ^ " \"mnemonic\": " ^ (json_of_mnemonic (List.hd v)) ^ ",\n" ^