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