From 608c7dd096f1eb83e246ba6ecc55c475334a27af Mon Sep 17 00:00:00 2001 From: Nitish Date: Fri, 24 May 2024 21:51:21 +0530 Subject: [PATCH] fixup! renamed `dependent_functions` to `functions` --- src/sail_json_backend/json.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/sail_json_backend/json.ml b/src/sail_json_backend/json.ml index 3246bb85a..4af8bbd5a 100644 --- a/src/sail_json_backend/json.ml +++ b/src/sail_json_backend/json.ml @@ -712,9 +712,9 @@ let defs { defs; _ } = Hashtbl.iter (fun k v -> debug_print (k ^ ":" ^ Util.string_of_list ", " (fun x -> x) v)) encodings; debug_print "ASSEMBLY"; Hashtbl.iter (fun k v -> debug_print (k ^ ":" ^ Util.string_of_list ", " (fun x -> x) v)) assembly; - debug_print "FUNCTIONS"; + debug_print "EXECUTES"; Hashtbl.iter (fun k v -> debug_print (k ^ ":" ^ v)) executes; - debug_print "DEPENDENT_FUNCTIONS"; + debug_print "FUNCTIONS"; Hashtbl.iter (fun k v -> debug_print (k ^ ":" ^ v)) functions; debug_print "OP_FUNCTIONS"; Hashtbl.iter (fun k v -> debug_print (k ^ ":" ^ v)) op_functions;