add angle extension to generated registry

CQCL · Sep 5, 2024 · 44e405b · 44e405b
1 parent abfa608
commit 44e405b
Show file tree

Hide file tree

Showing 3 changed files with 403 additions and 393 deletions.
diff --git a/tket2-hseries/src/bin/tket2-hseries.rs b/tket2-hseries/src/bin/tket2-hseries.rs
@@ -15,6 +15,7 @@ fn main() {
         CliArgs::GenExtensions(args) => {
             let reg = ExtensionRegistry::try_new([
                 tket2::extension::TKET2_EXTENSION.to_owned(),
+                tket2::extension::angle::ANGLE_EXTENSION.to_owned(),
                 tket2_hseries::extension::hseries::EXTENSION.to_owned(),
                 tket2_hseries::extension::futures::EXTENSION.to_owned(),
                 tket2_hseries::extension::result::EXTENSION.to_owned(),