diff --git a/submodules/externals/bv16-floatingpoint b/submodules/externals/bv16-floatingpoint
index 85b279106..3b6c38c55 160000
--- a/submodules/externals/bv16-floatingpoint
+++ b/submodules/externals/bv16-floatingpoint
@@ -1 +1 @@
-Subproject commit 85b27910607b7e8edcf7c4a5dec1298b5877f4e2
+Subproject commit 3b6c38c559fbd1f3295381accda14b2c14b7649b