summaryrefslogtreecommitdiff
path: root/src/CfimOfJson.ml
diff options
context:
space:
mode:
authorSon Ho2021-11-25 17:12:56 +0100
committerSon Ho2021-11-25 17:12:56 +0100
commitd546fcc5a1a1e964275d90a3822930b8f04f17ac (patch)
treec5945abd4597e5140e6cc4f0fe6b045185c6d0d4 /src/CfimOfJson.ml
parenta9995fe949d31e0f53b1e3e26908de8f98972ca5 (diff)
Start working on function calls
Diffstat (limited to '')
-rw-r--r--src/CfimOfJson.ml4
1 files changed, 2 insertions, 2 deletions
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 =