From e13f24c958734fe482223c56a64f29cd2205a639 Mon Sep 17 00:00:00 2001
From: Agustin Borgna <agustin.borgna@quantinuum.com>
Date: Tue, 3 Sep 2024 18:06:28 +0100
Subject: [PATCH] fix: Update collections extension

---
 hugr-py/src/hugr/std/_json_defs/collections.json | 12 ++++++------
 specification/std_extensions/collections.json    | 12 ++++++------
 2 files changed, 12 insertions(+), 12 deletions(-)

diff --git a/hugr-py/src/hugr/std/_json_defs/collections.json b/hugr-py/src/hugr/std/_json_defs/collections.json
index bf60f0956..0be2b8c52 100644
--- a/hugr-py/src/hugr/std/_json_defs/collections.json
+++ b/hugr-py/src/hugr/std/_json_defs/collections.json
@@ -138,16 +138,16 @@
               "rows": [
                 [
                   {
-                    "t": "Sum",
-                    "s": "Unit",
-                    "size": 1
+                    "t": "V",
+                    "i": 0,
+                    "b": "A"
                   }
                 ],
                 [
                   {
-                    "t": "V",
-                    "i": 0,
-                    "b": "A"
+                    "t": "Sum",
+                    "s": "Unit",
+                    "size": 1
                   }
                 ]
               ]
diff --git a/specification/std_extensions/collections.json b/specification/std_extensions/collections.json
index bf60f0956..0be2b8c52 100644
--- a/specification/std_extensions/collections.json
+++ b/specification/std_extensions/collections.json
@@ -138,16 +138,16 @@
               "rows": [
                 [
                   {
-                    "t": "Sum",
-                    "s": "Unit",
-                    "size": 1
+                    "t": "V",
+                    "i": 0,
+                    "b": "A"
                   }
                 ],
                 [
                   {
-                    "t": "V",
-                    "i": 0,
-                    "b": "A"
+                    "t": "Sum",
+                    "s": "Unit",
+                    "size": 1
                   }
                 ]
               ]