From d546fcc5a1a1e964275d90a3822930b8f04f17ac Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 25 Nov 2021 17:12:56 +0100
Subject: Start working on function calls

---
 src/CfimOfJson.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/CfimOfJson.ml')

diff --git a/src/CfimOfJson.ml b/src/CfimOfJson.ml
index dfa7527e..b693a4db 100644
--- a/src/CfimOfJson.ml
+++ b/src/CfimOfJson.ml
@@ -180,8 +180,8 @@ let var_of_json (js : json) : (var, string) result =
     | `Assoc [ ("index", index); ("name", name); ("ty", ty) ] ->
         let* index = VarId.id_of_json index in
         let* name = string_option_of_json name in
-        let* ty = ety_of_json ty in
-        Ok { index; name; ty }
+        let* var_ty = ety_of_json ty in
+        Ok { index; name; var_ty }
     | _ -> Error "")
 
 let big_int_of_json (js : json) : (big_int, string) result =
-- 
cgit v1.2.3