From c8ccd864e1fa6de3241d9dba184cf8ee4101e421 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 22 Sep 2022 17:52:27 +0200
Subject: Make minor cleanup

---
 src/LlbcOfJson.ml | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

(limited to 'src/LlbcOfJson.ml')

diff --git a/src/LlbcOfJson.ml b/src/LlbcOfJson.ml
index 846d7232..4e10c642 100644
--- a/src/LlbcOfJson.ml
+++ b/src/LlbcOfJson.ml
@@ -631,7 +631,7 @@ let fun_decl_of_json (js : json) : (A.fun_decl, string) result =
         let* name = fun_name_of_json name in
         let* signature = fun_sig_of_json signature in
         let* body = option_of_json fun_body_of_json body in
-        Ok { A.def_id; name; signature; body; is_global_body = false }
+        Ok { A.def_id; name; signature; body; is_global_decl_body = false }
     | _ -> Error "")
 
 (* Strict type for the number of function declarations (see [global_to_fun_id] below) *)
@@ -670,8 +670,13 @@ let global_decl_of_json (js : json) (gid_conv : global_id_converter) :
         in
         Ok
           ( { A.def_id = global_id; body_id = fun_id; name; ty },
-            { A.def_id = fun_id; name; signature; body; is_global_body = true }
-          )
+            {
+              A.def_id = fun_id;
+              name;
+              signature;
+              body;
+              is_global_decl_body = true;
+            } )
     | _ -> Error "")
 
 let g_declaration_group_of_json (id_of_json : json -> ('id, string) result)
-- 
cgit v1.2.3