From e5f8038f82c8a444afcfb7333a4c690b005fcff6 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Mon, 17 Oct 2016 11:58:21 +0200
Subject: Fix bug #5023: JSON extraction doesn't generate "for xxx".

---
 plugins/extraction/json.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'plugins/extraction/json.ml')

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");
-- 
cgit v1.2.3