diff --git a/third_party/tools/verible b/third_party/tools/verible
index 98bdb38a6517d..76446d4d814e4 160000
--- a/third_party/tools/verible
+++ b/third_party/tools/verible
@@ -1 +1 @@
-Subproject commit 98bdb38a6517d465833d4d94c6f3a14c1595244a
+Subproject commit 76446d4d814e4307985a3f4370ada894bc3a37cd