From 7c4138c8a4f1478f2f1d208cd091b2f0938b2780 Mon Sep 17 00:00:00 2001
From: Davide Mor <tazdevil971@gmail.com>
Date: Thu, 26 Sep 2024 15:17:47 +0200
Subject: [PATCH] Fixed `__divtf3` having wrong cfg for f128

---
 src/float/div.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/float/div.rs b/src/float/div.rs
index f085455f..f125771a 100644
--- a/src/float/div.rs
+++ b/src/float/div.rs
@@ -620,7 +620,7 @@ intrinsics! {
 
     #[avr_skip]
     #[ppc_alias = __divkf3]
-    #[cfg(not(feature = "no-f16-f128"))]
+    #[cfg(f128_enabled)]
     pub extern "C" fn __divtf3(a: f128, b: f128) -> f128 {
         div(a, b)
     }