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 } ] ]