Regenerate json extensions

mark-koch · mark-koch · commit 26a079c54c1b · 2025-04-24T14:33:47.000+01:00
diff --git a/hugr-py/src/hugr/std/_json_defs/collections/value_array.json b/hugr-py/src/hugr/std/_json_defs/collections/value_array.json
@@ -25,7 +25,6 @@
       }
     }
   },
-  "values": {},
   "operations": {
     "discard_empty": {
       "extension": "collections.value_array",
diff --git a/specification/std_extensions/collections/value_array.json b/specification/std_extensions/collections/value_array.json
@@ -25,7 +25,6 @@
       }
     }
   },
-  "values": {},
   "operations": {
     "discard_empty": {
       "extension": "collections.value_array",

Original file line number	Diff line number	Diff line change
`@@ -25,7 +25,6 @@`
`25`	`25`	`}`
`26`	`26`	`}`
`27`	`27`	`},`
`28`		`- "values": {},`
`29`	`28`	`"operations": {`
`30`	`29`	`"discard_empty": {`
`31`	`30`	`"extension": "collections.value_array",`