summaryrefslogtreecommitdiff
path: root/src/LlbcOfJson.ml
diff options
context:
space:
mode:
Diffstat (limited to 'src/LlbcOfJson.ml')
-rw-r--r--src/LlbcOfJson.ml10
1 files changed, 5 insertions, 5 deletions
diff --git a/src/LlbcOfJson.ml b/src/LlbcOfJson.ml
index 7604ec2b..75e9cbf7 100644
--- a/src/LlbcOfJson.ml
+++ b/src/LlbcOfJson.ml
@@ -532,17 +532,17 @@ let call_of_json (js : json) : (A.call, string) result =
| `Assoc
[
("func", func);
- ("region_params", region_params);
- ("type_params", type_params);
+ ("region_args", region_args);
+ ("type_args", type_args);
("args", args);
("dest", dest);
] ->
let* func = fun_id_of_json func in
- let* region_params = list_of_json erased_region_of_json region_params in
- let* type_params = list_of_json ety_of_json type_params in
+ let* region_args = list_of_json erased_region_of_json region_args in
+ let* type_args = list_of_json ety_of_json type_args in
let* args = list_of_json operand_of_json args in
let* dest = place_of_json dest in
- Ok { A.func; region_params; type_params; args; dest }
+ Ok { A.func; region_args; type_args; args; dest }
| _ -> Error "")
let rec statement_of_json (js : json) : (A.statement, string) result =