diff --git a/third_party/tools/circt-verilog b/third_party/tools/circt-verilog
index 8f388d1af9f3..cea3812058cc 160000
--- a/third_party/tools/circt-verilog
+++ b/third_party/tools/circt-verilog
@@ -1 +1 @@
-Subproject commit 8f388d1af9f3078c9fc78e499b4a3f46bca5574e
+Subproject commit cea3812058cc90874175fe2856ae36aa29bf0aff