diff --git a/hardfloat b/hardfloat
index 904573db..716de37b 160000
--- a/hardfloat
+++ b/hardfloat
@@ -1 +1 @@
-Subproject commit 904573db955172685a8663c2d9d41c8edbb7d55e
+Subproject commit 716de37bfd1ee4b646fedb13b3927d4c3718bc76