diff --git a/third_party/tools/moore b/third_party/tools/moore
index 4f91804dfa6b4..6307db192e125 160000
--- a/third_party/tools/moore
+++ b/third_party/tools/moore
@@ -1 +1 @@
-Subproject commit 4f91804dfa6b4ba22e3f26b891b1a504308578bd
+Subproject commit 6307db192e12569462f81c51f4e39ffe4dfdbaa7