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