diff --git a/third_party/a8 b/third_party/a8
index c5e180a..f7125c8 160000
--- a/third_party/a8
+++ b/third_party/a8
@@ -1 +1 @@
-Subproject commit c5e180a96a7ba0d89f41f28821b0eb081f7ee880
+Subproject commit f7125c874e592df764c873df1f1464da7a5db19e