From d6a90001163272f91af231e1ed2dbd318a5e700f Mon Sep 17 00:00:00 2001
From: Seyon Sivarajah <seyon.sivarajah@quantinuum.com>
Date: Mon, 13 Nov 2023 12:46:21 +0000
Subject: [PATCH] remove another unecessary extension

---
 src/std_extensions/arithmetic/int_ops.rs | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/src/std_extensions/arithmetic/int_ops.rs b/src/std_extensions/arithmetic/int_ops.rs
index 6fdb8a4a3..cc09fc4a3 100644
--- 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(