diff --git a/third_party/tools/circt-verilog b/third_party/tools/circt-verilog
index a2a956751de6..42e4c202f27f 160000
--- a/third_party/tools/circt-verilog
+++ b/third_party/tools/circt-verilog
@@ -1 +1 @@
-Subproject commit a2a956751de61ca2d4726216791dda4a431f036f
+Subproject commit 42e4c202f27f6a517461ec8aa55d619767aff80b