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" ^