diff options
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 = |