fix: Update collections extension (#1518)

Broken in #1513, it's failing on main Should we make this a required check?
CQCL · Sep 3, 2024 · 60e1da0 · 60e1da0
1 parent 4cbe890
commit 60e1da0
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 12 deletions.
diff --git 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
@@ -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
  }
  ]
  ]