diff --git a/submodules/externals/bv16-floatingpoint b/submodules/externals/bv16-floatingpoint
index 6899f2759..aa1828cab 160000
--- a/submodules/externals/bv16-floatingpoint
+++ b/submodules/externals/bv16-floatingpoint
@@ -1 +1 @@
-Subproject commit 6899f2759c7b19d5402335d3a937c53020abfeca
+Subproject commit aa1828cab91d6c17a74edd293c6c263f20196473