remove another unecessary extension

CQCL · Nov 13, 2023 · d93d5e6 · d93d5e6
1 parent aeb7ef6
commit d93d5e6
Showing 1 changed file with 2 additions and 6 deletions.
diff --git a/src/std_extensions/arithmetic/int_ops.rs b/src/std_extensions/arithmetic/int_ops.rs
@@ -139,12 +139,8 @@ pub fn extension() -> Extension {
         ExtensionSet::singleton(&super::int_types::EXTENSION_ID),
     );
 
-    let temp_reg: ExtensionRegistry = [
-        extension.clone(),
-        super::int_types::EXTENSION.to_owned(),
-        PRELUDE.to_owned(),
-    ]
-    .into();
+    let temp_reg: ExtensionRegistry =
+        [super::int_types::EXTENSION.to_owned(), PRELUDE.to_owned()].into();
 
     extension
         .add_op_custom_sig_simple(