From a92a3a7f9088560f318adb569bf9c8a87a7e5d3a Mon Sep 17 00:00:00 2001 From: Son Ho Date: Mon, 28 Feb 2022 19:16:22 +0100 Subject: Fix minor issues due to updates in Charon --- src/CfimOfJson.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') 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 -- cgit v1.2.3