diff --git a/third_party/tools/moore b/third_party/tools/moore
index 4f91804dfa6b4..9bd6d54fcfc89 160000
--- a/third_party/tools/moore
+++ b/third_party/tools/moore
@@ -1 +1 @@
-Subproject commit 4f91804dfa6b4ba22e3f26b891b1a504308578bd
+Subproject commit 9bd6d54fcfc8914cc2e225af4a91146ff13a9646