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