From 6ca12dcb3750a4fd83354eb423e1618a2ad77f13 Mon Sep 17 00:00:00 2001
From: Mark Koch <mark.koch@quantinuum.com>
Date: Tue, 26 Nov 2024 12:27:26 +0000
Subject: [PATCH] Update serialised extension

---
 hugr-py/src/hugr/std/_json_defs/prelude.json | 14 ++++++++++++--
 specification/std_extensions/prelude.json    | 14 ++++++++++++--
 2 files changed, 24 insertions(+), 4 deletions(-)

diff --git a/hugr-py/src/hugr/std/_json_defs/prelude.json b/hugr-py/src/hugr/std/_json_defs/prelude.json
index b48692b39..bc482976b 100644
--- a/hugr-py/src/hugr/std/_json_defs/prelude.json
+++ b/hugr-py/src/hugr/std/_json_defs/prelude.json
@@ -431,6 +431,9 @@
           {
             "tp": "Type",
             "b": "A"
+          },
+          {
+            "tp": "Extensions"
           }
         ],
         "body": {
@@ -445,7 +448,9 @@
                   "b": "A"
                 }
               ],
-              "extension_reqs": []
+              "extension_reqs": [
+                "2"
+              ]
             }
           ],
           "output": [
@@ -503,6 +508,9 @@
               "tp": "Type",
               "b": "A"
             }
+          },
+          {
+            "tp": "Extensions"
           }
         ],
         "body": {
@@ -557,7 +565,9 @@
                   "b": "A"
                 }
               ],
-              "extension_reqs": []
+              "extension_reqs": [
+                "4"
+              ]
             },
             {
               "t": "R",
diff --git a/specification/std_extensions/prelude.json b/specification/std_extensions/prelude.json
index b48692b39..bc482976b 100644
--- a/specification/std_extensions/prelude.json
+++ b/specification/std_extensions/prelude.json
@@ -431,6 +431,9 @@
           {
             "tp": "Type",
             "b": "A"
+          },
+          {
+            "tp": "Extensions"
           }
         ],
         "body": {
@@ -445,7 +448,9 @@
                   "b": "A"
                 }
               ],
-              "extension_reqs": []
+              "extension_reqs": [
+                "2"
+              ]
             }
           ],
           "output": [
@@ -503,6 +508,9 @@
               "tp": "Type",
               "b": "A"
             }
+          },
+          {
+            "tp": "Extensions"
           }
         ],
         "body": {
@@ -557,7 +565,9 @@
                   "b": "A"
                 }
               ],
-              "extension_reqs": []
+              "extension_reqs": [
+                "4"
+              ]
             },
             {
               "t": "R",