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