diff options
author | Son Ho | 2021-11-25 17:12:56 +0100 |
---|---|---|
committer | Son Ho | 2021-11-25 17:12:56 +0100 |
commit | d546fcc5a1a1e964275d90a3822930b8f04f17ac (patch) | |
tree | c5945abd4597e5140e6cc4f0fe6b045185c6d0d4 /src/CfimOfJson.ml | |
parent | a9995fe949d31e0f53b1e3e26908de8f98972ca5 (diff) |
Start working on function calls
Diffstat (limited to '')
-rw-r--r-- | src/CfimOfJson.ml | 4 |
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 = |