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