diff options
-rw-r--r-- | plugins/extraction/json.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/plugins/extraction/json.ml b/plugins/extraction/json.ml index 8874afef3..e43c47d05 100644 --- a/plugins/extraction/json.ml +++ b/plugins/extraction/json.ml @@ -142,7 +142,8 @@ let rec json_expr env = function ("what", json_str "fix:item"); ("name", json_id fi); ("body", json_function env' ti) - ]) (Array.map2 (fun a b -> a,b) ids' defs))) + ]) (Array.map2 (fun a b -> a,b) ids' defs))); + ("for", json_int i); ] | MLexn s -> json_dict [ ("what", json_str "expr:exception"); |