From cbe31be02ac13d7eca382be065c8bbf79dfd58ed Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Agust=C3=ADn=20Borgna?=
 <121866228+aborgna-q@users.noreply.github.com>
Date: Fri, 14 Jun 2024 08:51:00 +0100
Subject: [PATCH] chore: Unskip test now that input_extensions is no more
 (#1187)

Removes the conditional test skip introduced in
https://github.com/CQCL/hugr/pull/1168#issuecomment-2154936867, now that
#1142 is merged.
---
 hugr-core/src/builder/circuit.rs | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/hugr-core/src/builder/circuit.rs b/hugr-core/src/builder/circuit.rs
index 22475cb03..2fecff49d 100644
--- a/hugr-core/src/builder/circuit.rs
+++ b/hugr-core/src/builder/circuit.rs
@@ -258,10 +258,6 @@ mod test {
     };
 
     #[test]
-    #[cfg_attr(
-        feature = "extension_inference",
-        ignore = "Extension validation fails when mixing in the float extension"
-    )]
     fn simple_linear() {
         let build_res = build_main(
             FunctionType::new(type_row![QB, QB], type_row![QB, QB])