diff --git a/addins/berkeley-testfloat-3 b/addins/berkeley-testfloat-3
index 03c13d21d..a9c849f1b 160000
--- a/addins/berkeley-testfloat-3
+++ b/addins/berkeley-testfloat-3
@@ -1 +1 @@
-Subproject commit 03c13d21db5a8c127e78b1282fa892c20d4d4bd4
+Subproject commit a9c849f1b0eb0264b626d9686ffae167d996e3be