fix issue link

CQCL · Nov 29, 2023 · 30f831c · 30f831c
1 parent f9b7b66
commit 30f831c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/extension/op_def.rs b/src/extension/op_def.rs
@@ -247,8 +247,8 @@ impl SignatureFunc {
 
         let res = pf.instantiate(args, exts)?;
         // TODO bring this assert back once resource inference is done?
-        // https://github.com/CQCL-DEV/hugr/issues/425
-        // assert!(res.contains(self.extension()));
+        // https://github.com/CQCL/hugr/issues/388
+        // debug_assert!(res.extension_reqs.contains(def.extension()));
         Ok(res)
     }
 }