diff --git a/third_party/tools/verible b/third_party/tools/verible
index 98bdb38a6517..0a93553b6e88 160000
--- a/third_party/tools/verible
+++ b/third_party/tools/verible
@@ -1 +1 @@
-Subproject commit 98bdb38a6517d465833d4d94c6f3a14c1595244a
+Subproject commit 0a93553b6e88b6387645a8871eaa1eeaa3a9fd40