diff --git a/third_party/tools/verible b/third_party/tools/verible
index 98bdb38a6517..9fdb4057dadf 160000
--- a/third_party/tools/verible
+++ b/third_party/tools/verible
@@ -1 +1 @@
-Subproject commit 98bdb38a6517d465833d4d94c6f3a14c1595244a
+Subproject commit 9fdb4057dadf4478307591ae2c77db8357a74864