summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/CfimOfJson.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/CfimOfJson.ml b/src/CfimOfJson.ml
index 8278668a..4c7fc58b 100644
--- a/src/CfimOfJson.ml
+++ b/src/CfimOfJson.ml
@@ -203,8 +203,8 @@ let type_def_of_json (js : json) : (T.type_def, string) result =
("name", name);
("region_params", region_params);
("type_params", type_params);
- ("kind", kind);
("regions_hierarchy", regions_hierarchy);
+ ("kind", kind);
] ->
let* def_id = T.TypeDefId.id_of_json def_id in
let* name = name_of_json name in