diff --git a/third_party/tools/circt-verilog b/third_party/tools/circt-verilog
index 3a9ccf9583be4..efca772639463 160000
--- a/third_party/tools/circt-verilog
+++ b/third_party/tools/circt-verilog
@@ -1 +1 @@
-Subproject commit 3a9ccf9583be4d690770056029017a9d65a5144a
+Subproject commit efca772639463d88e934a08ef0fd8be63aa25862